Theorem List.indexOf_nil

Modification history