module

public import Papers.OaiSmoothNonquadraticAffine.Basic
public import Papers.OaiSmoothNonquadraticAffine.Helpers
public import Papers.OaiSmoothNonquadraticAffine.TReduction
public import Papers.OaiSmoothNonquadraticAffine.TGlobal
public import Papers.OaiSmoothNonquadraticAffine.TMain

/-! # Smooth nonquadratic affine maximal graphs: run barrel -/

public section