Commit 2023-08-26 23:29 c39c6f78

View on Github →

refactor(QuotientGroup): Generalize some things to Monoids (#6804)

Estimated changes

modified def QuotientGroup.lift
modified theorem QuotientGroup.lift_mk'
modified theorem QuotientGroup.lift_mk
modified theorem QuotientGroup.lift_quot_mk
modified theorem QuotientGroup.monoidHom_ext