Add a constructive membership test for double cosets#5532
Merged
simonbrandhorst merged 7 commits intooscar-system:masterfrom Nov 10, 2025
Merged
Add a constructive membership test for double cosets#5532simonbrandhorst merged 7 commits intooscar-system:masterfrom
simonbrandhorst merged 7 commits intooscar-system:masterfrom
Commits
Commits on Nov 7, 2025
Commits on Nov 8, 2025
Commits on Nov 10, 2025
- andauthored
- committed
- committed
