Skip to content

Remove the irreducible solvable matrix groups - #86

Open
fingolfin wants to merge 1 commit into
masterfrom
mh/remove-irredsol
Open

Remove the irreducible solvable matrix groups#86
fingolfin wants to merge 1 commit into
masterfrom
mh/remove-irredsol

Remove the irreducible solvable matrix groups

ba46797
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Sep 20, 2026 in 1s

Coverage not affected when comparing 2cb2177...ba46797

View this Pull Request on Codecov

Coverage not affected when comparing 2cb2177...ba46797

View more details on Codecov