Theorem List.map₂Right_eq_map₂Right'

Modification history