Theorem List.map₂Left'_nil_right

Modification history