OAI/Analysis/Conductivity/Sobolev/CentralPhysicalRegion.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.sourceCollarTime_ge_iff line 10
2. lemma OAI.ScalarConductivity.sourceCollarTime_le_iff line 31
3. lemma OAI.ScalarConductivity.centralParent_time_iff line 52
4. lemma OAI.ScalarConductivity.centralChild_time_iff line 66
5. theorem OAI.ScalarConductivity.centralPhysical_time_iff line 90