Theorem Finset.coe_smul_finset

Modification history