nontrivialColoringImplies
P189002
predicate
Indicates that the existence of a nontrivial coloring of one structure or configuration logically entails the truth or occurrence of another specified property, condition, or result.
Sample triples (1)
| Subject | Object |
|---|---|
| Fox n-coloring of knots | knot determinant is divisible by n ⓘ |