Figure 3 from A Differentialform Pullback Programming Language for
Pullback Of A Differential Form. I know that a given differentiable map $\alpha:.
I know that a given differentiable map $\alpha:.
I know that a given differentiable map $\alpha:. I know that a given differentiable map $\alpha:.