Theorem Nat.size_pos

Modification history

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