Theorem Finset.Finset.filter_ssubset

Modification history