Theorem List.indexOf_lt_length

Modification history