Closed CunningGabe closed 1 year ago
More generally, it would be nice to have SectionSubgroup for Gamma_I.
Part 1 done in 130c5beb9ca321a58ed7cf14fa5cc953ce393b7d. Still need to add SectionSubgroup.
Finished in 5a37bd6baebec12989ce49f4235e662b474571eb.
More generally, it would be nice to have SectionSubgroup for Gamma_I.