Theorem QuotientGroup.congr_apply

Modification history