Theorem Finset.subset_disjSum

Modification history