OAI/Analysis/Conductivity/Geometry/AffineCylinder.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.affineEndTime line 12
2. def OAI.ScalarConductivity.affineEndCoordinates line 14
3. lemma OAI.ScalarConductivity.measurable_affineEndTime line 17
4. lemma OAI.ScalarConductivity.measurable_affineEndCoordinates line 20
5. lemma OAI.ScalarConductivity.affineEndTime_volume line 23
6. lemma OAI.ScalarConductivity.affineEndTime_interval_le line 30
7. lemma OAI.ScalarConductivity.affineEndCoordinates_interval_le line 43
8. def OAI.ScalarConductivity.affineEndPullback line 52
9. lemma OAI.ScalarConductivity.affineEndPullback_ae line 59
10. lemma OAI.ScalarConductivity.affineEndPullback_ae_of_ae line 74