OAI/MathematicalPhysics/NavierStokes/BalancedTransport/CompiledGeometry.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Geometry.BoxLayout.lower_mem line 13
  2. lemma OAI.BalancedTransport.Geometry.BoxLayout.separated_of_disjoint line 20
  3. def OAI.BalancedTransport.Coding.layout line 53
  4. lemma OAI.BalancedTransport.Coding.layout_positive line 58
  5. lemma OAI.BalancedTransport.Coding.layout_solid line 63
  6. lemma OAI.BalancedTransport.Coding.layout_affineMap line 76
  7. lemma OAI.BalancedTransport.Coding.layout_volume line 85
  8. abbrev OAI.BalancedTransport.Recorder.ActiveRow line 99
  9. def OAI.BalancedTransport.Recorder.sourceLayout line 101
  10. def OAI.BalancedTransport.Recorder.targetLayout line 106
  11. def OAI.BalancedTransport.Recorder.safeRows line 111
  12. lemma OAI.BalancedTransport.Recorder.sourceLayout_solid line 115
  13. lemma OAI.BalancedTransport.Recorder.targetLayout_solid line 121
  14. lemma OAI.BalancedTransport.Recorder.sourceLayout_positive line 127
  15. lemma OAI.BalancedTransport.Recorder.targetLayout_positive line 131
  16. lemma OAI.BalancedTransport.Recorder.sourceLayout_separated line 134
  17. lemma OAI.BalancedTransport.Recorder.targetLayout_separated line 140
  18. lemma OAI.BalancedTransport.Recorder.layouts_equal_volume line 147
  19. lemma OAI.BalancedTransport.Recorder.sourceLayout_guard line 154
  20. lemma OAI.BalancedTransport.Recorder.targetLayout_guard line 164
  21. lemma OAI.BalancedTransport.Recorder.layouts_affineMap line 174
  22. theorem OAI.BalancedTransport.Recorder.exists_guarded_template line 178