OAI/MathematicalPhysics/Elasticity/
2778 declarations, 0 contain sorry, 0 declared as axioms; 42 files
Files
- Augmented.lean 43 declarations
- Basic.lean 23 declarations
- Bessel.lean 313 declarations
- BoundaryCalculus.lean 68 declarations
- BoundaryCharts.lean 58 declarations
- BoundaryData.lean 86 declarations
- BoundaryEnergy.lean 58 declarations
- BoundaryJets.lean 34 declarations
- BoundaryLayers.lean 129 declarations
- BoundaryPackets.lean 90 declarations
- BoundaryParametrix.lean 52 declarations
- BoundarySymbols.lean 152 declarations
- BoundaryValues.lean 44 declarations
- CGO.lean 52 declarations
- Carleman.lean 58 declarations
- CommonExterior.lean 6 declarations
- CommonFrame.lean 10 declarations
- Compact.lean 19 declarations
- Conic.lean 39 declarations
- Extension.lean 6 declarations
- ForcedTransport.lean 33 declarations
- Holomorphy.lean 27 declarations
- Homotopy.lean 17 declarations
- LocalRegularity.lean 35 declarations
- ODE.lean 57 declarations
- Parameters.lean 78 declarations
- PhysicalCGO.lean 70 declarations
- Planar.lean 135 declarations
- Recovery.lean 61 declarations
- Regularity.lean 120 declarations
- Restriction.lean 74 declarations
- Rigidity.lean 53 declarations
- Smoothing.lean 59 declarations
- Solvability.lean 77 declarations
- Supported.lean 38 declarations
- Transfer.lean 61 declarations
- Transport.lean 100 declarations
- TransportAlgebra.lean 50 declarations
- Uniqueness.lean 4 declarations
- Variational.lean 132 declarations
- WeakLimits.lean 95 declarations
- WeakSolutions.lean 62 declarations