Theorem QuotientGroup.congr_mk

Modification history