Mathlib Changelog
v4
Changelog
About
Github
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_neZero
View on Github →