Commit 2024-03-27 11:32 48efc23f
View on Github →chore(Data/Nat/Factorial): Use Std lemmas (#11715)
Make use of Nat-specific lemmas from Std rather than the general ones provided by mathlib.
The ultimate goal here is to carve out Data, Algebra and Order sublibraries.