Theorem List.zipRight'_nil_cons

Modification history