OAI/Combinatorics/EditApproximation/Refinement/PhysicalScalarReads.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Direct scalar source requests. The physical scale/cell guards agree with the original raw providers, and an online request carries its range.

  1. def OAI.EditApproximation.physicalScalarAnswer line 21
  2. theorem OAI.EditApproximation.groupQuery_transport line 40
  3. theorem OAI.EditApproximation.physicalScalarGroupRead_value line 54
  4. theorem OAI.EditApproximation.physicalScalarOnlineRead_value line 86