Theorem List.orderedInsert_eq_take_drop

Modification history