OAI/Analysis/Conductivity/Variational/PhysicalFaceUniqueness.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.squareFace_interior_unique line 12
2. lemma OAI.ScalarConductivity.sourceCollarPiece_open_unique line 21
3. lemma OAI.ScalarConductivity.attachedFaceTensorList_unique line 51
4. lemma OAI.ScalarConductivity.attachedCollarTensor_open line 62