OAI/Geometry/CylinderCovering/Rational/UncenteredField.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.RationalDictionary.velocity_fderiv line 12
  2. theorem OAI.RationalDictionary.velocity_trace_det line 41
  3. theorem OAI.RationalDictionary.velocity_det_neg line 52
  4. theorem OAI.RationalDictionary.velocity_contDiffAt line 63
  5. theorem OAI.RationalDictionary.velocity_openRectangleC2 line 81
  6. theorem OAI.RationalDictionary.velocity_logarithmic_spectrum line 106
  7. theorem OAI.RationalDictionary.uncenteredDomain_isClosed line 138
  8. theorem OAI.RationalDictionary.uncenteredDomain_isCompact line 149
  9. def OAI.RationalDictionary.UncenteredGeometry.pairEquiv line 164
  10. lemma OAI.RationalDictionary.UncenteredGeometry.pairEquiv_measurePreserving line 167
  11. lemma OAI.RationalDictionary.UncenteredGeometry.volume_graph_eq_zero line 170
  12. theorem OAI.RationalDictionary.frontier_uncenteredDomain_subset line 186
  13. theorem OAI.RationalDictionary.volume_frontier_uncenteredDomain line 218