Documentation
Toric
Search
return to top
source
Imports
Init
Toric.MvLaurentPolynomial
Toric.SphericalVariety
Toric.ToricIdeal
Toric.AffineMonoid.Embedding
Toric.AffineMonoid.Irreducible
Toric.ConvexAnalysis.PolyhedralCone
Toric.GroupScheme.CFPGrp
Toric.GroupScheme.Character
Toric.GroupScheme.Diagonalizable
Toric.GroupScheme.HopfAffine
Toric.GroupScheme.SpecGrpAlg
Toric.GroupScheme.Torus
Toric.Hopf.CoalgToAlg
Toric.Hopf.Cocomm
Toric.Hopf.GroupLike
Toric.Hopf.GrpAlg
Toric.Hopf.HopfAlg
Toric.Hopf.MonoidAlgebra
Toric.MonoidObjectAction.Basic
Toric.ToricVariety.Defs
Toric.ToricVariety.FromMonoid
Toric.Mathlib.AlgebraicGeometry.Pullbacks
Toric.Mathlib.GroupTheory.Finiteness
Toric.Mathlib.Algebra.Group.Torsion
Toric.Mathlib.Algebra.NoZeroSMulDivisors.Defs
Toric.Mathlib.Analysis.Convex.Polytope
Toric.Mathlib.CategoryTheory.Monoidal.CommGrp_
Toric.Mathlib.CategoryTheory.Monoidal.Grp_
Toric.Mathlib.CategoryTheory.Monoidal.Mon_
Toric.Mathlib.CategoryTheory.WithTerminal.Cones
Toric.Mathlib.Data.Finset.Powerset
Toric.Mathlib.GroupTheory.MonoidLocalization.Basic
Toric.Mathlib.GroupTheory.MonoidLocalization.DivPairs
Toric.Mathlib.LinearAlgebra.FreeModule.PID
Toric.Mathlib.LinearAlgebra.TensorProduct.Associator
Toric.Mathlib.LinearAlgebra.TensorProduct.Basic
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.Grp.Basic
Toric.Mathlib.Algebra.Category.MonCat.Basic
Toric.Mathlib.Algebra.Group.Irreducible.Defs
Toric.Mathlib.Algebra.Group.TypeTags.Basic
Toric.Mathlib.Algebra.GroupWithZero.Units.Basic
Toric.Mathlib.Algebra.Module.Equiv.Basic
Toric.Mathlib.Algebra.Module.Equiv.Defs
Toric.Mathlib.Algebra.Module.LinearMap.End
Toric.Mathlib.Analysis.Convex.Cone.InnerDual
Toric.Mathlib.Analysis.Convex.Cone.Pointed
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.Mon_
Toric.Mathlib.CategoryTheory.Monoidal.Over.Grp_
Toric.Mathlib.CategoryTheory.Monoidal.Over.Mon_
Toric.Mathlib.LinearAlgebra.FreeModule.Finite.Basic
Toric.Mathlib.CategoryTheory.Limits.Preserves.Shapes.Over
Imported by