{-# OPTIONS --safe #-} module Cubical.Papers.Everything where import Cubical.Papers.AffineSchemes import Cubical.Papers.CohomologyRings import Cubical.Papers.Pi4S3 import Cubical.Papers.RepresentationIndependence import Cubical.Papers.Synthetic import Cubical.Papers.ZCohomology