δ₀-gap avoidance: no cell birth-supremum equals b ± ζ or d ± ζ for ζ inside the gap

Initializing...

δ₀-gap avoidance: no cell birth-supremum equals b ± ζ or d ± ζ for ζ inside the gap · Prove2Me