Theorem List.getLast?_isNone

Modification history