Theorem List.zipRight_nil_left

Modification history