Theorem Sym.cons_inj_left

Modification history