Metamath Proof Explorer


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