Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
removed homotopy groups of spheres results as they are already in homotopy groups of spheres (homotopytypetheory). I will need to add recent developments here too (such as Florisâ€™ work).
1 to 1 of 1