Find out some backup project ideas #45

New issue

Open

opened 2024-10-29 05:14:31 +00:00 by michael · 0 comments

michael commented

2024-10-29 05:14:31 +00:00

Owner

https://arxiv.org/abs/1506.00952 For n >= 2, the homotopy groups \pi_n(S^2) are non-zero
Prove the snake lemma? https://en.wikipedia.org/wiki/Snake_lemma
Prove the five lemma (#46)

- [ ] https://arxiv.org/abs/1506.00952 For n >= 2, the homotopy groups $\pi_n(S^2)$ are non-zero - [ ] Prove the snake lemma? https://en.wikipedia.org/wiki/Snake_lemma - [ ] Prove the five lemma (#46)

michael added this to the research project 2024-10-29 05:14:31 +00:00

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: michael/type-theory#45

No description provided.