GitHub/leanprover-community.mathlib4
1
0
Fork 0
mirror of https://github.com/leanprover-community/mathlib4.git synced 2026-03-07 02:46:33 +00:00
Code Issues Projects Releases Packages Wiki Activity
RFC: drop `Nat.AtLeastTwo`
Kim Morrison edited this page 2025-04-10 14:30:24 +10:00

Page revisions

5 Commits

Author SHA1 Message Date
Kim Morrison
33a5f00959 Updated RFC: drop `Nat.AtLeastTwo` (markdown) 2025-04-10 14:30:24 +10:00
Yury G. Kudryashov
2e7ee21a91 Updated RFC: drop `Nat.AtLeastTwo` (markdown) 2025-04-09 21:39:27 -05:00
Yury G. Kudryashov
b250392cb4 Updated RFC: drop `Nat.AtLeastTwo` (markdown) 2025-04-09 20:38:39 -05:00
Eric Wieser
058e99b089 Updated RFC: drop `Nat.AtLeastTwo` (markdown) 2025-04-10 00:49:03 +01:00
Yury G. Kudryashov
0630d5c085 Created RFC: drop `Nat.AtLeastTwo` (markdown) 2025-04-09 18:44:54 -05:00