Psi-fiber merge (square iii'): psi-identified Y-cells have equal 2eps-descent structure maps

Initializing...

Psi-fiber merge (square iii'): psi-identified Y-cells have equal 2eps-descent structure maps · Prove2Me