Theorem List.map_prod_right_eq_zip

Modification history