Theorem Subgroup.smul_opposite_image_mul_preimage'

Modification history