Theorem List.prev_singleton

Modification history