OAI/Dynamics/TriangleBilliards/
888 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- AngularMeasure.lean 12 declarations
- CircleFourier.lean 42 declarations
- ClearanceAverages.lean 12 declarations
- ClearanceSmoothing.lean 13 declarations
- CollisionEscape.lean 37 declarations
- CovariantGenerators.lean 19 declarations
- DerivativeAdjoints.lean 23 declarations
- DoubleFlow.lean 27 declarations
- FlightUniqueness.lean 11 declarations
- FourierEnergy.lean 16 declarations
- FourierTails.lean 12 declarations
- Generators.lean 21 declarations
- Geometry.lean 36 declarations
- HilbertFlow.lean 27 declarations
- KernelAdjoints.lean 25 declarations
- KernelBounds.lean 8 declarations
- Koopman.lean 7 declarations
- Localization.lean 19 declarations
- LongTrajectories.lean 18 declarations
- Main.lean 20 declarations
- MeasurableFlow.lean 41 declarations
- MeasurePreservation.lean 9 declarations
- Model.lean 16 declarations
- ReflectedSmoothing.lean 54 declarations
- RegularRays.lean 56 declarations
- RegularizedModes.lean 18 declarations
- SeamEnergy.lean 25 declarations
- SecondDerivatives.lean 29 declarations
- SmoothingApproximation.lean 35 declarations
- SmoothingGenerators.lean 21 declarations
- SmoothingLimits.lean 11 declarations
- SmoothingLp.lean 31 declarations
- SpatialConstancy.lean 11 declarations
- SpatialRigidity.lean 11 declarations
- SpatialSmoothing.lean 35 declarations
- TransverseFlow.lean 23 declarations
- Unfolding.lean 27 declarations
- WeakCompactness.lean 17 declarations
- WeakGenerators.lean 13 declarations