Documentation
Toric
Search
return to top
source
Imports
Init
Toric.MvLaurentPolynomial
Toric.SphericalVariety
Toric.ToricIdeal
Toric.Examples.CharCocharPairing
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.GroupTheory.FreeAbelianGroup
Toric.Mathlib.Algebra.AffineMonoid.Embedding
Toric.Mathlib.Algebra.AffineMonoid.Irreducible
Toric.Mathlib.Algebra.AffineMonoid.UniqueSums
Toric.Mathlib.Algebra.Algebra.Defs
Toric.Mathlib.Algebra.Algebra.Hom
Toric.Mathlib.Algebra.Category.CommBialgCat
Toric.Mathlib.Algebra.Category.CommHopfAlgCat
Toric.Mathlib.Algebra.FreeAbelianGroup.Finsupp
Toric.Mathlib.Algebra.MonoidAlgebra.Basic
Toric.Mathlib.Algebra.MonoidAlgebra.Defs
Toric.Mathlib.Algebra.MonoidAlgebra.MapDomain
Toric.Mathlib.CategoryTheory.Functor.FullyFaithful
Toric.Mathlib.CategoryTheory.Monoidal.Category
Toric.Mathlib.CategoryTheory.Monoidal.CommMon_
Toric.Mathlib.CategoryTheory.Monoidal.Functor
Toric.Mathlib.CategoryTheory.Monoidal.Mon_
Toric.Mathlib.Geometry.Convex.Polytope
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.Hom
Toric.Mathlib.RingTheory.Coalgebra.MonoidAlgebra
Toric.Mathlib.RingTheory.Coalgebra.SimpAttr
Toric.Mathlib.RingTheory.HopfAlgebra.Basic
Toric.Mathlib.RingTheory.HopfAlgebra.Convolution
Toric.Mathlib.RingTheory.HopfAlgebra.Hom
Toric.Mathlib.RingTheory.HopfAlgebra.MonoidAlgebra
Toric.Mathlib.RingTheory.TensorProduct.Basic
Toric.Mathlib.Algebra.Category.CommAlgCat.Monoidal
Toric.Mathlib.Algebra.Category.Grp.Basic
Toric.Mathlib.Algebra.Category.MonCat.Basic
Toric.Mathlib.Algebra.Group.Equiv.Basic
Toric.Mathlib.Algebra.Group.Irreducible.Defs
Toric.Mathlib.Algebra.Group.TypeTags.Hom
Toric.Mathlib.Algebra.Order.Nonneg.Module
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.Basic
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.CommGrp_
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.FunctorCategory
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.Grp_
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.Mon_
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.Over
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