isZeroIf
P157613
predicate
Indicates that a value or expression becomes zero when a specified condition holds or a particular argument takes a given value.
Sample triples (1)
| Subject | Object |
|---|---|
| Euler class | bundle admits a nowhere-vanishing section ⓘ |