EasyChair Smart Slide
Division by Two, in Homotopy Type Theory
Division by Two, in Homotopy Type Theory