Test.Validity.Relations.Transitivity

transitiveOnElems

transitivityOnGens

transitivityOnValid

transitivity

transitivityOnArbitrary