Phi-fiber merge (square iv): phi-identified X-cells have equal 2eps-descent structure maps

Initializing...

Phi-fiber merge (square iv): phi-identified X-cells have equal 2eps-descent structure maps · Prove2Me