Theorem Finset.filter_lt_eq_Ioi

Modification history