Commit 2023-09-04 16:01 25953fdd

View on Github →

refactor(QuotientGroup): small change to statement of lift (#6848)

Estimated changes

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