Theorem QuotientGroup.leftRel_eq

Modification history