Theorem List.map₂Left_eq_map₂Left'

Modification history