Documentation
LeanPool
.
PythagoreanPolynomialParametrization
.
Imports
Search
return to top
source
Imports
Init
LeanPool.PythagoreanPolynomialParametrization
LeanPool.PythagoreanPolynomialParametrization.Basic
LeanPool.PythagoreanPolynomialParametrization.Explanatory
LeanPool.PythagoreanPolynomialParametrization.IntegerValued
LeanPool.PythagoreanPolynomialParametrization.Main
LeanPool.PythagoreanPolynomialParametrization.Obstructions
LeanPool.PythagoreanPolynomialParametrization.Positive
LeanPool.PythagoreanPolynomialParametrization.SourceLemmas
Imported by