OAI/Probability/SKFluctuations/PhysicalOverlapClockSchedule.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

Physical Overlap Clock Schedule.

  1. theorem OAI.SKFluctuations.eventually_physical_overlap_clock_schedule line 15
  2. theorem OAI.SKFluctuations.physicalProjectionClock_of_full_field_layer line 93
  3. theorem OAI.SKFluctuations.overlap_unweighted_later_scale line 109
  4. theorem OAI.SKFluctuations.eventually_physical_overlap_field_schedule line 123
  5. theorem OAI.SKFluctuations.lastLayerCut_append_singleton line 179
  6. theorem OAI.SKFluctuations.lastLayerCut_ofFn line 185
  7. theorem OAI.SKFluctuations.overlapComponentEnd_ofFn line 193
  8. theorem OAI.SKFluctuations.physicalOverlapResidualPairs_card_le line 202
  9. theorem OAI.SKFluctuations.PhysicalProjectionClock.earlier_fork line 216
  10. theorem OAI.SKFluctuations.physicalOverlapDyadicCertificates line 252
  11. theorem OAI.SKFluctuations.overlapResidual_eq line 349
  12. theorem OAI.SKFluctuations.overlapResidual_le line 354
  13. theorem OAI.SKFluctuations.eventually_physical_overlap_dyadic_moment line 363
  14. theorem OAI.SKFluctuations.eventually_comparison_inverse_strength_denominator line 419
  15. theorem OAI.SKFluctuations.unweighted_residual_scale line 443
  16. theorem OAI.SKFluctuations.eventually_comparison_unweighted_residual_small line 460
  17. theorem OAI.SKFluctuations.eventually_comparison_physical_overlap_raw line 500
  18. theorem OAI.SKFluctuations.physicalConstrainedOverlapClocks line 569