Image-birth lower bound: the phi-image cell at level beta - eps is born no later than that level

Initializing...

Image-birth lower bound: the phi-image cell at level beta - eps is born no later than that level · Prove2Me