Theorem List.cons_inj

Modification history