Skip to content
GitLab
Explore
Sign in
Register
Tags
Tags give the ability to mark specific points in history as being important
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