Theorem List.map₂Right_eq_zipWith

Modification history