Theorem Finset.Finset.disjoint_filter_filter

Modification history