Profile picture
scott
's note on
View All Public Notes
Univalent Foundations: “No Comment.” mathematicswithoutapologies.wordpress.com
#HoTT #homotopy #math #article #pub