Theorem QuotientGroup.map_id_apply

Modification history