Theorem Finset.Finset.filter_inter

Modification history