Theorem List.get?_length

Modification history