Theorem List.zipLeft_nil_right

Modification history