Videos

$pi_2(s^2)$ in HoTT

Presenter
February 20, 2013
IAS
Keywords:
  • Univalent
$pi_2(s^2)$ in HoTT Thumbnail
Play Video
Abstract
$pi_2(s^2)$ in HoTT