Theorem List.indexOf_cons_ne

Modification history