Metamath Proof Explorer


Syntax definition caltop

Description: Declare the syntax for an alternate ordered pair.

Ref Expression
Assertion caltop class 𝐴 , 𝐵