Database
ELEMENTARY GEOMETRY
Tarskian Geometry
Parallel lines
cprlng
Next ⟩
df-prlng
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cprlng
Description:
Extend class notation for the parallel lines relation.
Ref
Expression
Assertion
cprlng
Could not format assertion : No typesetting found for class parlnG with typecode class