Theorem List.getLast_append_singleton

Modification history