Theorem Sym.cons_of_coe_eq

Modification history