OAI/Analysis/Conductivity/Branching/EndingJoinElliptic.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.delayedEndingTensor_measurable line 16
2. lemma OAI.ScalarConductivity.endingJoinTensor_measurable line 20
3. lemma OAI.ScalarConductivity.endingJoinTensor_symm line 28
4. lemma OAI.ScalarConductivity.convexTensor_quadratic line 32
5. lemma OAI.ScalarConductivity.endingJoinTensor_bounds line 36