OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Detector/ExpandingScalarDetector.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The scalar half-plane detector, built from the full prescribed array. This is the observation component of the whole-plane fluid theorem.

  1. theorem OAI.ForcedComputation.ExpandingDetector.expanding_scalar_detection line 16