OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Programs/RectangleAffine.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A criterion for the full closed rectangles of a reciprocal instruction.

  1. theorem OAI.ShearFlows.RationalBox.mem_carrier_iff line 12
  2. theorem OAI.ShearFlows.Instruction.image_eq_of_halfWidths line 25