Theorem List.map_diff

Modification history