Theorem Finset.monotone_filter_left

Modification history