Mathlib Changelog
v4
Changelog
About
Github
Theorem
Nat.size_le_size
Modification history
2022-12-21 06:53
Mathlib/Data/Nat/Size.lean
feat: Port `Data.Nat.Size` (#1140) …
Added
Nat.size_le_size
View on Github →