OAI/Analysis/Conductivity/Variational/WholeWeakClosure.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.wholeL2_pair_integral line 11
2. lemma OAI.ScalarConductivity.wholeL2_pair_tendsto line 18
3. lemma OAI.ScalarConductivity.WeakL2Direction.closed line 25
4. lemma OAI.ScalarConductivity.wholeL2_tendsto_of_sq line 38
5. lemma OAI.ScalarConductivity.memLp_toLp_tendsto_of_sq line 53