A strengthening of Freudenthal's theorem for H-spaces#1814

Merged

jdchristensen merged 4 commits intoHoTT:masterfrom

jarlg:prop-2.19

Jan 16, 2024

Commits on Jan 14, 2024

Homotopy.Hopf: define the Hopf construction; show Prop 2.19 of BCFR
jarlg
committed
Homotopy.Hopf: stronger Freudenthal for H-spaces, plus prelims
jarlg
committed

Commits on Jan 16, 2024