OAI/Analysis/PeriodicLattice/
1017 declarations, 0 contain sorry, 0 declared as axioms; 32 files
Files
- Arithmetic.lean 60 declarations
- Basic.lean 61 declarations
- Certificates.lean 26 declarations
- Compiler.lean 21 declarations
- DerivativeWords.lean 17 declarations
- EffectiveDerivatives.lean 20 declarations
- EffectiveForcing.lean 24 declarations
- EffectivePotentials.lean 23 declarations
- EffectiveProfiles.lean 52 declarations
- EffectiveReals.lean 34 declarations
- ElementaryFunctions.lean 10 declarations
- Energy.lean 25 declarations
- FieldCertificates.lean 47 declarations
- FluidLift.lean 46 declarations
- Machines.lean 28 declarations
- Main.lean 3 declarations
- MeanBounds.lean 36 declarations
- PeriodicInverse.lean 28 declarations
- Planar.lean 12 declarations
- PlanarFlow.lean 32 declarations
- ProfileJets.lean 50 declarations
- Profiles.lean 54 declarations
- RapidBounds.lean 30 declarations
- RationalArithmetic.lean 30 declarations
- Scales.lean 43 declarations
- Signals.lean 20 declarations
- Solenoidal.lean 51 declarations
- Tape.lean 32 declarations
- TorusDerivatives.lean 39 declarations
- TorusIntegration.lean 28 declarations
- Trajectories.lean 8 declarations
- Trigonometry.lean 27 declarations