Skip to content

Reject invalid arguments for SolvableQuotient and EpimorphismSolvableQuotient#5682

Merged
fingolfin merged 1 commit intomasterfrom mh/SolvableQuotientMar 27, 2024
+37-4

Commits