Affine monoids give rise to toric varieties

@[implicit_reducible]

noncomputable instance AffineToricVarietyFromMonoid.instToricVariety {𝕜 M : Type u} [Field 𝕜] [AddCancelCommMonoid M] [AddMonoid.FG M] [IsAddTorsionFree M] : AlgebraicGeometry.ToricVariety 𝕜 ((AlgebraicGeometry.Spec (CommRingCat.of 𝕜)).Diag M)

Equations

• One or more equations did not get rendered due to their size.