Theorem Nat.lt_size

Modification history

2022-12-21 06:53
Mathlib/Data/Nat/Size.lean
feat: Port `Data.Nat.Size` (#1140) …
Added Nat.lt_sizeView on Github →