OAI/Analysis/Conductivity/Geometry/CylinderPhysicalEquiv.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.sourceAngularCollar_measurePreserving line 13
2. def OAI.ScalarConductivity.sourceCylinderPullback line 20
3. lemma OAI.ScalarConductivity.sourceCylinderPullback_ae line 28
4. lemma OAI.ScalarConductivity.sourceAngularCollar_quasi line 36
5. lemma OAI.ScalarConductivity.sourceAngularCollar_coordinates_ae line 44
6. lemma OAI.ScalarConductivity.sourceCylinderPullback_collarPullback line 62
7. lemma OAI.ScalarConductivity.sourceCollarPullback_cylinderPullback line 75
8. def OAI.ScalarConductivity.sourceCylinderPhysicalEquiv line 84