onNormalVariety
P176913
predicate
Indicates that one entity is situated or defined on a normal variety, i.e., a geometrically regular or non-singular underlying space in the relevant mathematical context.
Sample triples (1)
| Subject | Object |
|---|---|
| Cartier divisor | determines Weil divisor ⓘ |