Homotopy Type Theory axiom of replacement > history

< type theoretic axiom of replacement