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.Hopf.MonoidAlgebra
Toric.MonoidAlgebra.TensorProduct
Toric.ToricVariety.Defs
Toric.ToricVariety.FromMonoid
Toric.Util.TrackSorry
Toric.Mathlib.AlgebraicGeometry.Pullbacks
Toric.Mathlib.AlgebraicGeometry.Scheme
Toric.Mathlib.RingTheory.AdjoinRoot
Toric.Mathlib.RingTheory.FiniteType
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.Defs
Toric.Mathlib.Algebra.MonoidAlgebra.MapDomain
Toric.Mathlib.Algebra.Polynomial.Bivariate
Toric.Mathlib.CategoryTheory.Monoidal.Attr
Toric.Mathlib.CategoryTheory.Monoidal.Grp_
Toric.Mathlib.CategoryTheory.Monoidal.Mon_
Toric.Mathlib.Geometry.Convex.Polytope
Toric.Mathlib.LinearAlgebra.Finsupp.VectorSpace
Toric.Mathlib.LinearAlgebra.PerfectPairing.Basic
Toric.Mathlib.LinearAlgebra.TensorProduct.Basic
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.Finiteness.Finsupp
Toric.Mathlib.RingTheory.HopfAlgebra.Basic
Toric.Mathlib.RingTheory.HopfAlgebra.Convolution
Toric.Mathlib.RingTheory.HopfAlgebra.GroupLike
Toric.Mathlib.RingTheory.HopfAlgebra.Hom
Toric.Mathlib.RingTheory.HopfAlgebra.MonoidAlgebra
Toric.Mathlib.RingTheory.HopfAlgebra.TensorProduct
Toric.Mathlib.RingTheory.TensorProduct.Basic
Toric.Mathlib.Algebra.Group.Equiv.Basic
Toric.Mathlib.Algebra.Group.TypeTags.Hom
Toric.Mathlib.Algebra.Group.Units.Hom
Toric.Mathlib.CategoryTheory.Comma.Over.OverClass
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