OAI/Combinatorics/EditApproximation/Refinement/PhysicalRandomDataRequest.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A physical refinement request with source reads interleaved with ranked table requests. The requested online range is calculated after the child mass values are returned.

  1. theorem OAI.EditApproximation.physicalRandomDataRequestQuery_value line 26