Theorem Equiv.mulLeft_bijective₀

Modification history

2023-04-25 17:50
Mathlib/Algebra/Hom/Equiv/Units/GroupWithZero.lean
fix: add missing `_root_` (#3630) …
Deleted Equiv.mulLeft_bijective₀View on Github →
2022-12-07 22:52
Mathlib/Algebra/Hom/Equiv/Units/GroupWithZero.lean
feat: port Algebra.Hom.Equiv.Units.GroupWithZero (#901) …
Added Equiv.mulLeft_bijective₀View on Github →