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

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A branch's sparse local pulse curves determine the actual autonomous material flow, including its complete intervening stationary cells.

  1. theorem OAI.ForcedComputation.PlanarRouting.sparse_suspension line 13