in Lean
in Lean
1 2 3 17 18