Homotopy Type Theory
precategory > history
Redirected from "Lagrangian submanifolds".