Theorem List.cons_ne_self

Modification history