Metamath Proof Explorer


Syntax definition cgcdOLD

Description: Extend class notation to include the gdc function. (New usage is discouraged.)

Ref Expression
Assertion cgcdOLD class gcdOLD ( 𝐴 , 𝐵 )