Tags

Tags give the ability to mark specific points in history as being important

VersionSharedWithChristian

20811b00 · Smaller changes. Made things more consistent. · Sep 17, 2025

Release: VersionSharedWithChristian
```
This version was shared with Christian.
```
Version_shared_w_Olaf_And_Matthias

6eb0e986 · Added (finite) to geometric group action for co-compactness. Cleaned up... · Feb 26, 2025

Release: Version_shared_w_Olaf_And_Matthias
```
This Version is shared with Olaf Post and Matthias Täufer
```