Homotopy Type Theory
infinity-group > history
Redirected from "Lagrangian Grassmanian".