The contraction conjecture for the weight-two abelianization of symplectic derivations
Contraction conjecture. The contraction C13C_{13}C13​ induces an isomorphism
MathDB