Theorem List.zipRight'_nil_left

Modification history