OAI/Analysis/Conductivity/Sources/NestedWeightedLimit.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.surface_cancellation_bound line 13
2. lemma OAI.ScalarConductivity.finite_surface_source_bound line 30
3. lemma OAI.ScalarConductivity.weighted_integral_tendsto line 53
4. theorem OAI.ScalarConductivity.weighted_annihilation_of_geometric_error line 79
5. lemma OAI.ScalarConductivity.compact_smooth_lipschitz_bound line 109
6. theorem OAI.ScalarConductivity.weighted_annihilation_of_surface_sources line 123