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-17 11:12
Mathlib/Algebra/NeZero.lean
feat: synchronize with mathlib3 #17477 (#577) …
Added NeZero.ne'View on Github →