Theorem List.map_eq_foldr

Modification history