Theorem List.zipRight'_nil_right

Modification history