Theorem List.indexOf_cons_self

Modification history