1 problem

Generalized Onsager presentation conjecture. The Lie algebra $\widetilde{\mathfrak k}$ is isomorphic to $\mathfrak k$.