Lift every original polyhedral vertex through a compact summand and transfer route bounds

Initializing...

Lift every original polyhedral vertex through a compact summand and transfer route bounds · Prove2Me