Theorem QuotientGroup.lift_quot_mk

Modification history