OAI/Analysis/Conductivity/Branching/PhysicalChildAttachedCorrection.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.childH10Transport_zero_on line 12
2. lemma OAI.ScalarConductivity.childH10Transport_add line 55
3. lemma OAI.ScalarConductivity.physicalChildCompletionJoin_eq_transport line 63
4. theorem OAI.ScalarConductivity.physicalChildAttachedCorrection_exists line 73