Theorem List.intersperse_cons_cons

Modification history