Theorem List.map₂Right_nil_left

Modification history