feat: add missing theorems for + 1 and - 1 normal form#4242
Merged
kim-em merged 26 commits intoleanprover:masterfrom markusschmaus:nat_simp_normal_formJun 17, 2024
+155-27
Commits
Commits on May 24, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 26, 2024
Commits on May 28, 2024
Commits on May 29, 2024
Commits on May 30, 2024
Commits on Jun 2, 2024
- committed
Merge branch 'nightly-with-mathlib' of https://github.com/leanprover/lean4 into nat_simp_normal_form
committed- committed
- committed