Theorem List.get_reverse_aux₂

Modification history