Metamath Proof Explorer


Syntax definition cinag

Description: Extend class relation with the geometrical "point in angle" relation.

Ref Expression
Assertion cinag class 𝒢