Theorem not_neZero

Modification history

2023-10-14 13:46

Mathlib/Algebra/NeZero.lean

chore: remove autoImplicit in NeZero.lean (#7673) …

Modified not_neZero View on Github →

2023-08-10 19:52

Mathlib/Algebra/NeZero.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified not_neZero View on Github →

2022-11-11 04:19

Mathlib/Algebra/NeZero.lean

feat: port Algebra.NeZero (#557) …

Added not_neZero View on Github →