Theorem List.monotone_iff_ofFn_sorted

Modification history