Klicken Sie auf 'Intuitionistic Type Theory (Homotopy T. Theory, sec 7.2.)', um die Ressource zu öffnen