Metamath Proof Explorer

Syntax definition cperpg

Description: Declare the constant for the perpendicular relation.

Ref Expression
Assertion cperpg 
class perpG