Theorem QuotientGroup.lift_mk

Modification history