Theorem List.monotone_filter_right

Modification history