Theorem QuotientGroup.ker_lift

Modification history