Theorem Finset.disjSum_ssubset_disjSum_of_ssubset_of_subset

Modification history