Theorem List.get_indexOf

Modification history