Theorem QuotientGroup.congr_refl

Modification history