Theorem Finset.Finset.inter_filter

Modification history