The Hopf Fibration via Higher Inductive Types

Date

Affiliation

Dalhousie University; Member, School of Mathematics

Speakers

Peter Lumsdaine