Theorem List.map₂Right_nil_right

Modification history