Documentation
Toric
Search
return to top
source
Imports
Init
Toric.MvLaurentPolynomial
Toric.SphericalVariety
Toric.ToricIdeal
Toric.AffineMonoid.Embedding
Toric.AffineMonoid.Irreducible
Toric.AffineMonoid.UniqueSums
Toric.GroupScheme.Character
Toric.GroupScheme.Diagonalizable
Toric.GroupScheme.HopfAffine
Toric.GroupScheme.SpecGrpAlg
Toric.GroupScheme.Torus
Toric.Hopf.CoalgToAlg
Toric.Hopf.Cocomm
Toric.Hopf.Diagonalisable
Toric.Hopf.GrpAlg
Toric.Hopf.HopfAlg
Toric.Hopf.MonoidAlgebra
Toric.ToricVariety.Defs
Toric.ToricVariety.FromMonoid
Toric.Mathlib.CategoryTheory.Monoidal.Mon_
Toric.Mathlib.Geometry.Convex.Polytope
Toric.Mathlib.LinearAlgebra.Finsupp.LinearCombination
Toric.Mathlib.LinearAlgebra.TensorProduct.Associator
Toric.Mathlib.LinearAlgebra.TensorProduct.Basic
Toric.Mathlib.RingTheory.Bialgebra.Equiv
Toric.Mathlib.RingTheory.Bialgebra.GroupLike
Toric.Mathlib.RingTheory.Bialgebra.Hom
Toric.Mathlib.RingTheory.Bialgebra.MonoidAlgebra
Toric.Mathlib.RingTheory.HopfAlgebra.Basic
Toric.Mathlib.Algebra.Category.CommAlg.Basic
Toric.Mathlib.Algebra.Category.CommAlg.Monoidal
Toric.Mathlib.Algebra.Category.Grp.Basic
Toric.Mathlib.Algebra.Category.MonCat.Basic
Toric.Mathlib.Algebra.Group.Irreducible.Defs
Toric.Mathlib.Algebra.Module.Equiv.Defs
Toric.Mathlib.Algebra.Order.Nonneg.Module
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.CommGrp_
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.Grp_
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.Mon_
Toric.Mathlib.Geometry.Convex.Cone.Dual
Toric.Mathlib.Geometry.Convex.Cone.Pointed
Toric.Mathlib.Geometry.Convex.Cone.Polyhedral
Toric.Mathlib.CategoryTheory.Limits.Preserves.Shapes.Over
Imported by