Theorem List.foldr_map'

Modification history