normIsMultiplicative
P157317
predicate
Indicates that the norm of a product equals the product of the norms of the factors.
Sample triples (1)
| Subject | Object |
|---|---|
| Hurwitz quaternions | true ⓘ |