Theorem Nat.size_one

Modification history

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