Theorem Subgroup.coe_pointwise_smul

Modification history