Metamath Proof Explorer


Syntax definition caltop

Description: Declare the syntax for an alternate ordered pair.

Ref Expression
Assertion caltop
class << A , B >>