OAI/Analysis/LipschitzHilbert/Trees/SourceReverseDropComparison.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual path-drop comparison between any two points of one reverse line cell. This supplies the snapshot-to-point error transfer used when patching the physical predictors.

  1. theorem OAI.LipschitzHilbert.AngularGrid.eventually_source_reverse_drop_comparison line 14