Theorem Ring.inverse_invertible
Modification history
2025-07-11 15:12
Mathlib/Algebra/GroupWithZero/Invertible.lean
chore: remove space after ⅟ (#26997) …
Modified Ring.inverse_invertibleView on Github →2024-05-23 07:03
Mathlib/Algebra/Group/Invertible/Basic.lean
chore: Move `Invertible` (#13030) …
Modified Ring.inverse_invertibleView on Github →