Theorem Finset.supIndep_iff_disjoint_erase

Modification history