Commit 2024-07-09 18:31 91e7a94c

Congruence subgroup namespace (#14573) Put congruence subgroups into their own namespace, so that things like Gamma don't live in the root namespace.