Theorem Subgroup.quotientiInfSubgroupOfEmbedding_apply_mk

Modification history