Documentation
Toric
Search
return to top
source
Imports
Init
Toric.MvLaurentPolynomial
Toric.SphericalVariety
Toric.ToricIdeal
Toric.Examples.CharCocharPairing
Toric.Examples.SO2
Toric.GroupScheme.Character
Toric.GroupScheme.Diagonalizable
Toric.GroupScheme.HopfAffine
Toric.GroupScheme.MonoidAlgebra
Toric.GroupScheme.Torus
Toric.Hopf.Diagonalisable
Toric.Hopf.GrpAlg
Toric.MonoidAlgebra.TensorProduct
Toric.ToricVariety.Defs
Toric.ToricVariety.FromMonoid
Toric.Mathlib.AlgebraicGeometry.Pullbacks
Toric.Mathlib.RingTheory.AdjoinRoot
Toric.Mathlib.Algebra.AffineMonoid.Embedding
Toric.Mathlib.Algebra.AffineMonoid.Irreducible
Toric.Mathlib.Algebra.AffineMonoid.UniqueSums
Toric.Mathlib.Algebra.Algebra.Equiv
Toric.Mathlib.Algebra.Category.CommBialgCat
Toric.Mathlib.Algebra.Category.CommHopfAlgCat
Toric.Mathlib.Algebra.MonoidAlgebra.Basic
Toric.Mathlib.Algebra.MonoidAlgebra.Lift
Toric.Mathlib.Algebra.MonoidAlgebra.MapDomain
Toric.Mathlib.Algebra.MonoidAlgebra.Module
Toric.Mathlib.Algebra.Polynomial.Bivariate
Toric.Mathlib.CategoryTheory.Monoidal.Attr
Toric.Mathlib.CategoryTheory.Monoidal.Mon_
Toric.Mathlib.Geometry.Convex.Polytope
Toric.Mathlib.RingTheory.Bialgebra.Convolution
Toric.Mathlib.RingTheory.Bialgebra.Equiv
Toric.Mathlib.RingTheory.Bialgebra.GroupLike
Toric.Mathlib.RingTheory.Bialgebra.Hom
Toric.Mathlib.RingTheory.Bialgebra.MonoidAlgebra
Toric.Mathlib.RingTheory.Bialgebra.TensorProduct
Toric.Mathlib.RingTheory.Coalgebra.CoassocSimps
Toric.Mathlib.RingTheory.Coalgebra.Convolution
Toric.Mathlib.RingTheory.Coalgebra.GroupLike
Toric.Mathlib.RingTheory.Coalgebra.Hom
Toric.Mathlib.RingTheory.Coalgebra.MonoidAlgebra
Toric.Mathlib.RingTheory.Coalgebra.SimpAttr
Toric.Mathlib.RingTheory.HopfAlgebra.Convolution
Toric.Mathlib.RingTheory.HopfAlgebra.GroupLike
Toric.Mathlib.RingTheory.HopfAlgebra.MonoidAlgebra
Toric.Mathlib.RingTheory.HopfAlgebra.TensorProduct
Toric.Mathlib.RingTheory.TensorProduct.Basic
Toric.Mathlib.Algebra.Group.TypeTags.Hom
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.Basic
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