Theorem List.cons_head!_tail

Modification history