Implement IsJoinIrreducible and IsMeetIrreducible#910

ThatOtherAndrew wants to merge 8 commits into

digraphs:maindigraphs/Digraphs:mainfrom

ThatOtherAndrew:pr/joinmeetirreducibleThatOtherAndrew/Digraphs:pr/joinmeetirreducibleCopy head branch name to clipboard