Maximilian Keßler 10458e55ed use wrapper for grouped theorem generation		2022-01-21 13:39:06 +01:00
..
environments/groupthm	use wrapper for grouped theorem generation	2022-01-21 13:39:06 +01:00
.gitignore	start writing documentation	2022-01-17 12:13:09 +01:00