A path admits a finite strictly monotone subdivision with each closed block carried into one member of an open cover

Initializing...

A path admits a finite strictly monotone subdivision with each closed block carried into one member of an open cover · Prove2Me