Skip to content

Implement IsJoinIrreducible and IsMeetIrreducible#910

Open
ThatOtherAndrew wants to merge 8 commits into
digraphs:mainfrom
ThatOtherAndrew:pr/joinmeetirreducible
Open

Implement IsJoinIrreducible and IsMeetIrreducible#910
ThatOtherAndrew wants to merge 8 commits into
digraphs:mainfrom
ThatOtherAndrew:pr/joinmeetirreducible

Apply suggestion from @james-d-mitchell

d2fd4fe
Select commit
Loading
Failed to load commit list.
Codecov / codecov/changes succeeded Jun 11, 2026 in 0s

No indirect coverage changes found

View this Pull Request on Codecov

No indirect coverage changes found

View more details on Codecov