Theorem Finset.smul_zero_subset

Modification history