Nicht eingeloggt (Login)

Lecture 19 -- Monday, 15th of June

Leertaste = Abspielen/Pausieren
m = Stumm
f = Vollbild (Fullscreen)
ohne Einschränkung
22
01:19:05
Tashi Walde

Lecture 19 -- Monday, 15th of June

  • Straightening/Unstraightening
  • Finite sets and countings

HoTT 2026

Erstellt am: 16.06.2026 14:42
Letzte Aktualisierung: 16.06.2026 14:43