Homotopy Type Theory: Univalent Foundations of Mathematics
Homotopy Type Theory: Univalent Foundations of Mathematics
3.17 MiB
Download ready in 3s