Theorem QuotientGroup.kerLift_mk

Modification history