Proofgold Proposition

∀ x0 x1 : ι → ο . wceq (cgcdOLD x0 x1) (csup (crab (λ x2 . wa (wcel (co x0 (cv x2) cdiv) cn) (wcel (co x1 (cv x2) cdiv) cn)) (λ x2 . cn)) cn clt)

type
prop

theory
SetMM

name
df_gcdOLD

proof
PUVbZ..

Megalodon
-

proofgold address
TMYR2..

creator
36377 PrCmT../af595..

owner
36377 PrCmT../af595..

term root
c83b3..