Documentation

LeanPool.ParameterFreeGradient.V7.Proofs.Stage4AboveTwo.Geometry

Conjugacy, gradients, and uniform convexity of the above-two power mirror geometry.