Theorem List.Sorted.get_strictMono

Modification history