Theorem List.Sorted.orderedInsert

Modification history