Homotopy Type Theory precategory > history

Redirected from "Lagrangian submanifolds".