Theorem List.zipLeft'_cons_cons

Modification history