Theorem QuotientGroup.out_eq'

Modification history