Theorem List.zipRight'_cons_cons

Modification history