{-# OPTIONS --safe #-}
module Cubical.AlgebraicGeometry.Everything where

import Cubical.AlgebraicGeometry.Functorial.ZFunctors.Base
import Cubical.AlgebraicGeometry.Functorial.ZFunctors.CompactOpen
import Cubical.AlgebraicGeometry.Functorial.ZFunctors.OpenSubscheme
import Cubical.AlgebraicGeometry.Functorial.ZFunctors.QcQsScheme
import Cubical.AlgebraicGeometry.ZariskiLattice.Base
import Cubical.AlgebraicGeometry.ZariskiLattice.Properties
import Cubical.AlgebraicGeometry.ZariskiLattice.StructureSheaf
import Cubical.AlgebraicGeometry.ZariskiLattice.StructureSheafPullback
import Cubical.AlgebraicGeometry.ZariskiLattice.UniversalProperty