OAI/Analysis/Conductivity/Scalarization/AttachedSplicedConstitution.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.attachedVariableTensor_flux line 17
2. lemma OAI.ScalarConductivity.correctedEndGradient_transport line 27
3. lemma OAI.ScalarConductivity.fullAttachedEnd_flat_flux line 63
4. lemma OAI.ScalarConductivity.attachedSpliced_constitution_point line 85
5. lemma OAI.ScalarConductivity.attachedSpliced_constitution_ae line 108