Theorem MonoidHom.transfer_eq_prod_quotient_orbitRel_zpowers_quot

Modification history

2023-06-05 17:06
Mathlib/GroupTheory/Transfer.lean
feat: port GroupTheory.Transfer (#4482)
Added MonoidHom.transfer_eq_prod_quotient_orbitRel_zpowers_quotView on Github →