Theorem List.map₂Right'_cons_cons

Modification history