Theorem List.insertIdx_pmap

Modification history