Theorem List.orderedInsert_length

Modification history