feat(matrix): derive irreducibility from adjacent positivity - #428
Open
PerAlexandersson wants to merge 2 commits into
Open
feat(matrix): derive irreducibility from adjacent positivity#428PerAlexandersson wants to merge 2 commits into
PerAlexandersson wants to merge 2 commits into
