{-# OPTIONS --cubical --allow-unsolved-metas #-} module AFF2024.Index where import AFF2024.AgdaTutorial import AFF2024.Algebra.Basics import AFF2024.AlgebraicSets.Basics import AFF2024.Basics import AFF2024.Algebra.AlgebraicallyClosedInfinite import AFF2024.Algebra.PolynomialVanishing import AFF2024.AlgebraicSets.Examples import AFF2024.AlgebraicSets.Sizes import AFF2024.AlgebraicSets.DiscriminatingFunctions