Theorem Invertible.ne_zero

Modification history

2024-08-16 13:44
Mathlib/Algebra/GroupWithZero/Invertible.lean
chore: Rename `nonzero_of_invertible` to `Invertible.ne_zero` (#15860) …
Added Invertible.ne_zeroView on Github →