Nicht eingeloggt (Login)

Lecture 13 -- Wednesday, 27th of May

Leertaste = Abspielen/Pausieren
m = Stumm
f = Vollbild (Fullscreen)
ohne Einschränkung
16
01:29:23
Tashi Walde

Lecture 13 -- Wednesday, 27th of May

  • Propositional truncation
  • Propositional logic
  • Axiom of choice

HoTT 2026

Erstellt am: 29.05.2026 13:40
Letzte Aktualisierung: 29.05.2026 13:42