Theorem List.reverse_singleton

Modification history