rfl
Prove that $1 + 1 = 2$. Hint: use rfl.
Replace sorry in the template below with your solution. The Mathlib version currently used is v4.26.0.
theorem solution : 1 + 1 = 2 := sorry
Login to submit a solution.
Prove that $1 + 1 = 2$. Hint: use rfl.
Replace sorry in the template below with your solution. The Mathlib version currently used is v4.26.0.
theorem solution : 1 + 1 = 2 := sorry
Login to submit a solution.