Theorem Finset.Finset.monotone_filter_right

Modification history