OAI/Analysis/Conductivity/Fourier/SpectralTerminalIntegral.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.spectralTerminalDensity_coeff line 17
2. lemma OAI.ScalarConductivity.spectralTerminalDensity_synthesis_ae line 30
3. lemma OAI.ScalarConductivity.smoothCollarTrace_mean_integral line 50
4. lemma OAI.ScalarConductivity.spectralTerminalDensity_smooth_pair line 62
5. lemma OAI.ScalarConductivity.fullEndFlatCovector_terminal_integral line 89