Theorem List.map_reverse

Modification history