Documentation
Toric
Search
return to top
source
Imports
Init
Toric.Imports
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.ToricVariety.Defs
Toric.ToricVariety.FromMonoid
Toric.Mathlib.RingTheory.AdjoinRoot
Toric.Mathlib.Algebra.Category.CommHopfAlgCat
Toric.Mathlib.Algebra.Polynomial.Bivariate
Toric.Mathlib.RingTheory.Bialgebra.Convolution
Toric.Mathlib.RingTheory.Bialgebra.MonoidAlgebra
Toric.Mathlib.RingTheory.Bialgebra.TensorProduct
Toric.Mathlib.RingTheory.Coalgebra.CoassocSimps
Toric.Mathlib.RingTheory.Coalgebra.Hom
Toric.Mathlib.RingTheory.Coalgebra.SimpAttr
Toric.Mathlib.RingTheory.HopfAlgebra.Convolution
Toric.Mathlib.RingTheory.TensorProduct.Maps
Imported by