OAI/Analysis/Conductivity/Sources/CriticalWallGap.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ScalarConductivity.exists_uniform_wall_source_gap line 14
2. lemma OAI.ScalarConductivity.h1_layer_norm_bound line 58
3. theorem OAI.ScalarConductivity.geometric_source_series line 72
4. lemma OAI.ScalarConductivity.source_energy_limit line 97
5. lemma OAI.ScalarConductivity.source_energy_nonzero line 104