2024-10-28T00:24:53Z - 2024-11-28T00:24:53Z

Overview

0 active pull requests
9 active issues
Excluding merges, 1 author has pushed 15 commits to master and 15 commits to all branches. On master, 46 files have changed and there have been 1751 additions and 624 deletions.

5 issues closed from 1 user

Closed #46 Prove the five lemma for groups 2024-11-05 09:26:34 +00:00

Closed #48 Five lemma (n is injective) 2024-11-05 09:25:33 +00:00

Closed #47 Five lemma (n is surjective) 2024-11-05 07:16:15 +00:00

Closed #37 Define SuccStr over N x fib(k) 2024-10-29 01:20:59 +00:00

Closed #44 Exercise 3.5 2024-10-28 23:56:59 +00:00

5 issues created by 1 user

Opened #44 Exercise 3.5 2024-10-28 23:56:33 +00:00

Opened #45 Find out some backup project ideas 2024-10-29 05:14:31 +00:00

Opened #46 Prove the five lemma for groups 2024-11-02 19:50:01 +00:00

Opened #47 Five lemma (n is surjective) 2024-11-05 07:13:44 +00:00

Opened #48 Five lemma (n is injective) 2024-11-05 07:13:50 +00:00

1 unresolved conversation

Open #23 Understand and define exact sequences 2024-11-05 10:04:51 +00:00