Theorem List.idxOf_get?

Modification history