Theorem Finset.zero_smul_finset_subset

Modification history