Theorem List.eraseIdx_map

Modification history