OAI/Analysis/Conductivity/Branching/PhysicalTraceTransport.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.physicalRealTrace_child line 15
2. def OAI.ScalarConductivity.sourceMeanCLM line 31
3. lemma OAI.ScalarConductivity.sourceMean_eq_integral line 35
4. lemma OAI.ScalarConductivity.sourceMean_child line 38
5. lemma OAI.ScalarConductivity.basisFlux_mean line 42
6. lemma OAI.ScalarConductivity.physicalRealTrace_bound line 54
7. lemma OAI.ScalarConductivity.sourceMean_bound line 68