Pullback birth-upper bound: the psi-pullback of a Y-cell has birth-sup at most b + eps when its 2eps-descent has birth-sup b

Initializing...

Pullback birth-upper bound: the psi-pullback of a Y-cell has birth-sup at most b + eps when its 2eps-descent has birth-sup b · Prove2Me