Theorem QuotientGroup.lift_mk'

Modification history