Theorem List.diff_nil

Modification history