groupschemes: first lecture

This commit is contained in:
2023-10-18 15:47:08 +02:00
parent 4c32de62c4
commit 52a55a6c6f
7 changed files with 566 additions and 1 deletions