Loading paper
On codimension-one $\mathbb A^1$-fibration with retraction | Tomesphere