OAI/Analysis/Conductivity/Fourier/SpectralTerminalL2.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.sqrt_rate_exp_bound line 12
2. def OAI.ScalarConductivity.spectralTerminalDensity line 28
3. lemma OAI.ScalarConductivity.spectralTerminalDensity_pair line 35
4. def OAI.ScalarConductivity.terminalFluxL2CLM line 50
5. lemma OAI.ScalarConductivity.terminalFluxL2CLM_trace line 55