Theorem QuotientGroup.congr_mk'

Modification history