Theorem Finset.filter_disj_union

Modification history