Report - On the homotopy groups of spheres in homotopy type theoryiii Abstract The goal of this thesis is to prove that π 4(S3) ’Z/2Z in homotopy type theory.In particularitisaconstructiveandpurelyhomotopy-theoreticproof

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form