Stefan Dresselhaus 19b1b85859 cleanup.		2022-08-24 16:47:51 +02:00
..
Monoid.md	cleanup.	2022-08-24 16:47:51 +02:00
Morphisms.md	cleanup.	2022-08-24 16:47:51 +02:00