Theorem Finset.disjoint_filter_filter

Modification history