Homotopy Type Theory
split essentially surjective (history)

October 11, 2018

September 18, 2018