Theorem QuotientGroup.strictMono_comap_prod_map

Modification history