theoremStates
P186750
predicate
Indicates that a theorem formally asserts or expresses a particular statement, claim, or proposition.
Sample triples (1)
| Subject | Object |
|---|---|
| Miquel point | for any triangle and any choice of one point on each side, the three circumcircles of the triangles formed by the vertices and these points are concurrent at the Miquel point ⓘ |