Database
ELEMENTARY GEOMETRY
Tarskian Geometry
Angle Comparisons
cinag
Next ⟩
cleag
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cinag
Description:
Extend class relation with the geometrical "point in angle" relation.
Ref
Expression
Assertion
cinag
class
∈
𝒢
∠