For an injective start, the work function is the Lipschitz extension of its injective restriction

Initializing...

For an injective start, the work function is the Lipschitz extension of its injective restriction · Prove2Me