Theorem List.map_erase

Modification history