Theorem MulEquivClass.map_nonZeroDivisors

Modification history

2025-02-14 14:20
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
chore(NonZeroDivisors): clean up (#21288) …
Modified MulEquivClass.map_nonZeroDivisorsView on Github →
2024-11-13 14:41
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
feat(RingTheory/Localization/*): add `IsLocalization.algEquivOfAlgEquiv` and other results (#18661) …
Added MulEquivClass.map_nonZeroDivisorsView on Github →