Theorem List.indexOf_eq_length

Modification history