Theorem List.zipRight_cons_cons

Modification history