Clamped-map proof of planar path crossing (source code)

= Clamped-map proof of planar path crossing

Projecting a sign-corrected displacement map back to a square turns Brouwer's fixed point into a zero of the displacement, proving that paths joining opposite side pairs intersect.