Inserting return paths: a chain of paths is homotopic to the concatenation of the loops it splices, whenever the two outer return paths are nullhomotopic

Initializing...

Inserting return paths: a chain of paths is homotopic to the concatenation of the loops it splices, whenever the two outer return paths are nullhomotopic · Prove2Me