Theorem List.orderedInsert_nil

Modification history