isInnerProductOn
P185757
predicate
Indicates that a given function satisfies the properties required to be an inner product on a specified vector space.
Sample triples (1)
| Subject | Object |
|---|---|
| Weil–Petersson metric | tangent space of Teichmüller space ⓘ |