Theorem List.indexOf_cons

Modification history