Homotopy Type Theory inductive-recursive type > history

Redirected from "propositional theories".

< inductive-recursive type