OAI/Analysis/Conductivity/Flux/CompactBoxDivergence.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.interval_integral_eq_integral_of_support line 10
2. lemma OAI.ScalarConductivity.compactFiberMarginal_integral line 19
3. lemma OAI.ScalarConductivity.compact_scalar_primitive line 29
4. lemma OAI.ScalarConductivity.cube_partial_fiber line 57
5. theorem OAI.ScalarConductivity.compact_box_divergence line 60