isFiniteOver
P157323
predicate
Indicates that one mathematical structure is a finite extension or has finite degree/size when considered over another underlying structure.
Sample triples (1)
| Subject | Object |
|---|---|
| Hurwitz quaternions | integers ⓘ |