Theorem Submonoid.coe_pointwise_smul

Modification history