Theorem QuotientGroup.rangeKerLift_injective

Modification history