Theorem List.reverse_suffix

Modification history