hasLineElementOnUnitDisk

P198372 predicate

Indicates that there exists a line element (a straight segment or infinitesimal part of a line) that lies on or within the boundary of the unit disk.

Sample triples (1)

Subject Object
Poincaré metric 4|dz|^2/(1-|z|^2)^2