Metamath Proof Explorer


Syntax definition chpg

Description: "Belong to the same open half-plane" relation for points in a geometry.

Ref Expression
Assertion chpg class hp 𝒢