Theorem Sym2.coe_lift₂_symm_apply

Modification history