Homotopy Type Theory infinity-group > history

Redirected from "Lagrangian Grassmanian".