Theorem Finset.mem_sup_support_iff

Modification history