Theorem List.map_reverseAux

Modification history