Theorem List.eraseIdx_pmap

Modification history