Theorem List.getLast?_singleton

Modification history