OAI/Combinatorics/EditApproximation/Refinement/PhysicalFamilySeedTrace.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.EditApproximation.physicalFamilyPrefix line 27
  2. theorem OAI.EditApproximation.physicalFamilyDraw_fin line 38
  3. theorem OAI.EditApproximation.physicalFamilyPrefix_succ line 49
  4. theorem OAI.EditApproximation.physicalFamilyToTrace_fst line 57
  5. theorem OAI.EditApproximation.physicalFamilyToTrace_snd line 67
  6. theorem OAI.EditApproximation.physicalFamilySample_fin line 75
  7. theorem OAI.EditApproximation.localScheduledSeedNext_nat_value line 89
  8. theorem OAI.EditApproximation.physicalFamilySeed_prefix line 98