Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Jeff Hoffman
gdc.mm
cgcdOLD
Next ⟩
df-gcdOLD
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cgcdOLD
Description:
Extend class notation to include the gdc function.
(New usage is discouraged.)
Ref
Expression
Assertion
cgcdOLD
class
gcd
OLD
A
B