OAI/Geometry/HarmonicGrowth/
2597 declarations, 0 contain sorry, 0 declared as axioms; 36 files
Files
- Angular.lean 130 declarations
- AngularStream.lean 38 declarations
- AngularTrace.lean 56 declarations
- Attainment.lean 31 declarations
- Basic.lean 18 declarations
- Berger.lean 67 declarations
- ComplexHarmonics.lean 116 declarations
- ControlWords.lean 101 declarations
- Counting.lean 336 declarations
- Curvature.lean 88 declarations
- Cycling.lean 46 declarations
- Damping.lean 36 declarations
- EndpointBounds.lean 38 declarations
- Flow.lean 74 declarations
- GlobalControl.lean 51 declarations
- Growth.lean 80 declarations
- HopfSpectrum.lean 73 declarations
- InsertedWord.lean 45 declarations
- Intrinsic.lean 51 declarations
- LieGeneration.lean 106 declarations
- LieSaturation.lean 126 declarations
- Main.lean 36 declarations
- PolarGeometry.lean 88 declarations
- PolynomialControl.lean 86 declarations
- Profiles.lean 153 declarations
- PulseODE.lean 21 declarations
- PulseSystem.lean 25 declarations
- RealForms.lean 34 declarations
- Realization.lean 60 declarations
- ScalarODE.lean 18 declarations
- SmoothWord.lean 71 declarations
- SpectralSelection.lean 65 declarations
- StreamData.lean 103 declarations
- Taylor.lean 12 declarations
- Transmission.lean 71 declarations
- Variation.lean 47 declarations