Homotopy Type Theory
empty
Redirected from "square function".