Theorem QuotientGroup.rightRel_apply

Modification history