hasZeroLocus
P176917
predicate
Indicates that a mathematical object (such as a function or section) is associated with the set of points where it evaluates to zero.
Sample triples (1)
| Subject | Object |
|---|---|
| Cartier divisor | subscheme defined by vanishing of local equations ⓘ |