Theorem QuotientGroup.strictMono_comap_prod_image

Modification history