Theorem List.nil_diff

Modification history