Theorem List.cons_prefix_iff

Modification history