OAI/Analysis/Conductivity/Branching/ParametricCorrectionTransport.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.parametric_physical_source_moment_bound line 14
2. structure OAI.ScalarConductivity.ParametricCorrectionBox line 63
3. lemma OAI.ScalarConductivity.exists_parametric_correction_box line 75
4. lemma OAI.ScalarConductivity.parametric_correction_boxes_cover line 85
5. lemma OAI.ScalarConductivity.ParametricCorrectionBox.bounded_transfer line 95
6. lemma OAI.ScalarConductivity.parametric_correction_boxes_chain line 136
7. theorem OAI.ScalarConductivity.parametric_controlled_source_transport line 146