FUST.lean

import FUST.Astronomy.BlackHole
import FUST.Astronomy.Cosmology

import FUST.FrourioAlgebra.GoldenEisensteinInt
import FUST.FrourioAlgebra.GoldenIntegerRing
import FUST.FrourioAlgebra.GoldenValuation

import FUST.Math.EulerOperator
import FUST.Math.FibonacciArithmetic
import FUST.Math.MellinSampling
import FUST.Math.SpectralCoefficients
import FUST.Math.SpectralGalois
import FUST.Math.SpectralObstruction

import FUST.Physics.CoarseningOperator
import FUST.Physics.GaugeGroups
import FUST.Physics.GravitationalCoupling
import FUST.Physics.Gravity
import FUST.Physics.LeastAction
import FUST.Physics.Lorentz
import FUST.Physics.MassGap
import FUST.Physics.ParticleSpectrum
import FUST.Physics.PhiBloch
import FUST.Physics.PMNSMixingAngles
import FUST.Physics.Poincare
import FUST.Physics.QuarkMassRatios
import FUST.Physics.SchrodingerEquation
import FUST.Physics.SpacetimeUniqueness
import FUST.Physics.StateFunctions
import FUST.Physics.Thermodynamics
import FUST.Physics.TimeStructure
import FUST.Physics.WeinbergAngle

import FUST.Problems.NavierStokes
import FUST.Problems.YangMills

import FUST.Basic
import FUST.DζOperator
import FUST.FζOperator