Maximilian Keßler f4887160ed add private wrappers to provide theorems with user pre-specified groups		2022-01-23 18:36:51 +01:00
..
environments	add private wrappers to provide theorems with user pre-specified groups	2022-01-23 18:36:51 +01:00
.gitignore	update gitignore	2022-01-23 01:30:57 +01:00