Theorem List.insert_pos

Modification history