Start of almost simple in defining characteristic#41
Draft
danielrademacher wants to merge 9 commits intogap-packages:mainfrom danielrademacher:AlmostSimpleDefiningCharacteristics
+767
Commits
Commits on Oct 5, 2021
- committedDaniel Rademacher
- committedDaniel Rademacher
Commits on Oct 6, 2021
- committedAnna Sucker
Commits on Oct 7, 2021
- committedDaniel Rademacher
- committedDaniel Rademacher
- committedDaniel Rademacher
Commits on Oct 8, 2021
- committedDaniel Rademacher
- committedDaniel Rademacher
- committedDaniel Rademacher