Theorem List.cons_diff

Modification history