Metamath Proof Explorer

Syntax definition cplng

Description: Declare the constant for the class of planes.

Ref Expression
Assertion cplng 
class PlnG