OAI/Analysis/HotSpots/
2156 declarations, 0 contain sorry, 0 declared as axioms; 31 files
Files
- Basic.lean 8 declarations
- BoundaryEnergy.lean 100 declarations
- BoundaryKernel.lean 103 declarations
- Cauchy.lean 16 declarations
- ClosedChart.lean 68 declarations
- ClosedSolution.lean 43 declarations
- Conformal.lean 64 declarations
- Dirichlet.lean 43 declarations
- DiskKernel.lean 63 declarations
- Douglas.lean 113 declarations
- DouglasEnergy.lean 91 declarations
- Eigenfunction.lean 58 declarations
- Green.lean 95 declarations
- GreenOperator.lean 84 declarations
- GreenSolution.lean 47 declarations
- Helmholtz.lean 100 declarations
- Hodge.lean 74 declarations
- KernelLimit.lean 95 declarations
- Main.lean 3 declarations
- Multiplicity.lean 64 declarations
- Multiplier.lean 93 declarations
- Poisson.lean 54 declarations
- Potentials.lean 69 declarations
- Pullback.lean 41 declarations
- Reciprocal.lean 127 declarations
- Riemann.lean 61 declarations
- Sobolev.lean 92 declarations
- Trace.lean 50 declarations
- TraceRank.lean 20 declarations
- Variational.lean 92 declarations
- VectorEnergy.lean 125 declarations