Theorem List.indexOf_cons_eq

Modification history