annotate | Test.Validity.Property |
antireflexiveOnElem | Test.Validity.Relations.Antireflexivity, Test.Validity.Relations, Test.Validity.Property |
antireflexivity | Test.Validity.Relations.Antireflexivity, Test.Validity.Relations, Test.Validity.Property |
antireflexivityOnArbitrary | Test.Validity.Relations.Antireflexivity, Test.Validity.Relations, Test.Validity.Property |
antireflexivityOnGen | Test.Validity.Relations.Antireflexivity, Test.Validity.Relations, Test.Validity.Property |
antireflexivityOnValid | Test.Validity.Relations.Antireflexivity, Test.Validity.Relations, Test.Validity.Property |
antisymmetricOnElemsWithEquality | Test.Validity.Relations.Antisymmetry, Test.Validity.Relations, Test.Validity.Property |
antisymmetry | Test.Validity.Relations.Antisymmetry, Test.Validity.Relations, Test.Validity.Property |
antisymmetryOnArbitrary | Test.Validity.Relations.Antisymmetry, Test.Validity.Relations, Test.Validity.Property |
antisymmetryOnGens | Test.Validity.Relations.Antisymmetry, Test.Validity.Relations, Test.Validity.Property |
antisymmetryOnGensWithEquality | Test.Validity.Relations.Antisymmetry, Test.Validity.Relations, Test.Validity.Property |
antisymmetryOnValid | Test.Validity.Relations.Antisymmetry, Test.Validity.Relations, Test.Validity.Property |
arbPartition | Test.Validity.Property |
associative | Test.Validity.Operations.Associativity, Test.Validity.Operations, Test.Validity.Property |
associativeOnArbitrary | Test.Validity.Operations.Associativity, Test.Validity.Operations, Test.Validity.Property |
associativeOnGens | Test.Validity.Operations.Associativity, Test.Validity.Operations, Test.Validity.Property |
associativeOnValids | Test.Validity.Operations.Associativity, Test.Validity.Operations, Test.Validity.Property |