Theorem QuotientGroup.leftRel_apply

Modification history