Theorem Finset.mem_finsupp_iff_of_support_subset

Modification history