The fibered product operation (x,s) ⋄ (y,t) = (x ⋄ y, αs + βt + c) for the linear-extension lemma

Initializing...

The fibered product operation (x,s) ⋄ (y,t) = (x ⋄ y, αs + βt + c) for the linear-extension lemma · Prove2Me