Homotopy Type Theory inductive-inductive type > history

Redirected from "Birkhoff–von Neumann theorem".

< inductive-inductive type

category: redirected to nlab