OAI/Analysis/Conductivity/Walls/ChildSeamCutoff.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.sourceJoinChildren_exclusive line 11
2. lemma OAI.ScalarConductivity.sourceJoinChild_other line 25
3. lemma OAI.ScalarConductivity.centralPhysical_child_face_not_interior line 36
4. lemma OAI.ScalarConductivity.centralJoinPartition_child_one line 72
5. lemma OAI.ScalarConductivity.centralJoinChildCutoff_one line 125