Theorem List.get_reverse

Modification history