Theorem List.indexOf_get?

Modification history