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