Theorem NeZero.ne

Modification history

2024-10-04 03:33

Mathlib/Algebra/NeZero.lean

chore: bump toolchain to v4.13.0-rc2 (#17377) …

Deleted NeZero.ne View on Github →

2023-10-14 13:46

Mathlib/Algebra/NeZero.lean

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

Modified NeZero.ne View on Github →

2022-11-11 04:19

Mathlib/Algebra/NeZero.lean

feat: port Algebra.NeZero (#557) …

Added NeZero.ne View on Github →