Video thumbnail (Frame 0) Video thumbnail (Frame 10449) Video thumbnail (Frame 20898) Video thumbnail (Frame 22933) Video thumbnail (Frame 32844) Video thumbnail (Frame 36360) Video thumbnail (Frame 42309) Video thumbnail (Frame 45143) Video thumbnail (Frame 49103)
Video in TIB AV-Portal: Using the internal language of toposes in algebraic geometry