Theorem QuotientGroup.ker_mk'

Modification history