Restriction of the same finite branch (same F, b, A, same first values) to 0 < η ≤ ε

Initializing...

Restriction of the same finite branch (same F, b, A, same first values) to 0 < η ≤ ε · Prove2Me