Theorem List.map_insertIdx

Modification history