OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Flow/PlanarCompactBridge.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Agreement of the compact planar field with the finite periodic scalar expression on the open unit-square chart, at every phase.

  1. theorem OAI.ForcedComputation.periodic_eq_of_eqOn_unit line 14
  2. theorem OAI.ForcedComputation.planarSlice_periodic line 24
  3. theorem OAI.ForcedComputation.Recorder.Planar.normalized_planar_field_on_chart line 42