Theorem QuotientGroup.map_mk'

Modification history