isNonzeroIf
P159412
predicate
Indicates that one quantity is guaranteed to be nonzero whenever a specified condition or related quantity holds or is nonzero.
Sample triples (1)
| Subject | Object |
|---|---|
| Euler class | no global nowhere-vanishing section exists ⓘ |