Metamath Proof Explorer


Syntax definition cplng

Description: Declare the constant for the class of planes.

Ref Expression
Assertion cplng Could not format assertion : No typesetting found for class PlnG with typecode class