Theorem List.Sorted.get_mono

Modification history