Theorem Sym2.coe_lift_symm_apply

Modification history