Theorem List.getLast_singleton

Modification history