Database
ELEMENTARY GEOMETRY
Tarskian Geometry
Parallel lines
cprlng
Next ⟩
df-prlng
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cprlng
Description:
Extend class notation for the parallel lines relation.
Ref
Expression
Assertion
cprlng
class
parlnG