FR f2a304e555 style: fix whitespace and remove duplicate docstring (#4189)		2024-05-16 06:46:39 +00:00
..
Basic.lean	chore: add @[simp] to Nat.succ_eq_add_one, and cleanup downstream (#3579)	2024-03-13 05:35:52 +00:00
Lemmas.lean	style: fix whitespace and remove duplicate docstring (#4189)	2024-05-16 06:46:39 +00:00