Theorem List.infix_cons_iff

Modification history