Theorem Nat.pos_of_neZero

Modification history

2024-05-13 07:14
Mathlib/Algebra/NeZero.lean
chore: Reduce imports to `Data.Fin.Basic` (#12828) …
Added Nat.pos_of_neZeroView on Github →