Theorem List.map_drop

Modification history