Documentation
Toric
Search
return to top
source
Imports
Init
Toric.AffineMonoid
Toric.Character
Toric.DivPairs
Toric.MvLaurentPolynomial
Toric.SchemeOver
Toric.SphericalVariety
Toric.ToricIdeal
Toric.ToricVariety
Toric.ToricVarietyFromMonoid
Toric.Torus
Toric.GroupScheme.Diagrams
Toric.GroupScheme.GroupScheme
Toric.MonoidObjectAction.Basic
Toric.Mathlib.CategoryTheory.ChosenFiniteProducts
Toric.Mathlib.CategoryTheory.ChosenFiniteProducts.Over
Toric.Mathlib.CategoryTheory.Monoidal.Category
Toric.Mathlib.CategoryTheory.Monoidal.CommMon_
Toric.Mathlib.CategoryTheory.Monoidal.Grp_
Toric.Mathlib.CategoryTheory.Monoidal.Mon_
Toric.Mathlib.CategoryTheory.Monoidal.Yoneda
Toric.Mathlib.GroupTheory.MonoidLocalization.Basic
Toric.Mathlib.Algebra.Group.Subgroup.Map
Imported by