Main results

The main results that the formalization.yaml of FormalFrontier/toric-ideals lists under status.main_results at commit 593116e0, each that the scan finds declared in the file the yaml gives, with its line. They are listed here, not made articles: in several Formal Frontier libraries this list is close to the whole API. The notes are the yaml's.

Declaration	Kind	Where	Note
MvPolynomial.uniform_monomial_kernel	theorem	ToricIdeals/MvPolynomial/UniformMonomialKernel.lean, line 49

Quoted from the main results in formalization.yaml of FormalFrontier/toric-ideals at commit 593116e0, Apache-2.0.

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.