Legendre transformation
The "Legendre transformation" of formula_145 is the smooth morphism formula_160 defined by formula_161, where formula_162.