Theorem QuotientGroup.norm_mk

Modification history