Theorem QuotientGroup.quotient_liftOn_mk

Modification history