OAI/Algebra/DepthFive/Infrastructure.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Circuit constructions, field transfer, and rank estimates.
This file declares nothing itself. It gathers the 11 imports below, so a file that imports it gets all of them.
Imports
- OAI.Algebra.DepthFive.UpperConstruction
- OAI.Algebra.DepthFive.UpperBoundArithmetic
- OAI.Algebra.DepthFive.CharacteristicZeroTransfer
- OAI.Algebra.DepthFive.LowerInfrastructure
- OAI.Algebra.DepthFive.ParameterGrowth
- OAI.Algebra.DepthFive.ParameterCutoff
- OAI.Algebra.DepthFive.BetaRefinements
- OAI.Algebra.DepthFive.LowerMoments
- OAI.Algebra.DepthFive.LowerCircuit
- OAI.Algebra.DepthFive.WordInfrastructure
- OAI.Algebra.DepthFive.MomentAssemblyInterfaces