OAI/Combinatorics/EditApproximation/Geometry/LocalCommonTrace.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A common keyed source gives a lazy functional view of the seed trace. Only the actual incoming seed is selected during execution.

  1. def OAI.EditApproximation.localCommonToScheduled line 17
  2. theorem OAI.EditApproximation.localCommonToScheduled_seed line 26