Homotopy Type Theory
apartness relation > history
Redirected from "Seifert 3-manifold".