Maximilian Keßler 7f1132b898 add theorem group parent implemented		2022-01-21 14:12:06 +01:00
..
environments/groupthm	add theorem group parent implemented	2022-01-21 14:12:06 +01:00
.gitignore	start writing documentation	2022-01-17 12:13:09 +01:00