Theorem AddSubgroup.coe_pointwise_smul

Modification history