Theorem Nat.size_eq_zero

Modification history

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