isIntegralOver
P29595
predicate
Indicates that one algebraic structure (typically a ring element or extension) satisfies a monic polynomial with coefficients in another ring, expressing that it is algebraically dependent on and “integral over” that base ring.
Sample triples (2)
| Subject | Object |
|---|---|
| Stefan–Boltzmann law | Planck spectral radiance over all wavelengths ⓘ |
| Stefan–Boltzmann law | all solid angles of emission ⓘ |