Def mul_equiv.inv'
Modification history
2022-05-17 21:17
src/algebra/group/opposite.lean
refactor(algebra/parity): Generalize to division monoids (#14187) …
Modified mul_equiv.inv'View on Github →2021-11-28 22:06
src/algebra/group/opposite.lean
chore(algebra/opposites): split out lemmas about rings and groups (#10457) …
Modified mul_equiv.inv'View on Github →