Proofgold Proposition

∀ x0 . x0 ∈ setminus omega (Sing 0) ⟶ gcd_reln x0 x0 x0

type
prop

theory
HotG

name
gcd_id

proof
PUVXT..

Megalodon
gcd_id

proofgold address
TMbNF..^gcd_id

creator
29757 PrQUS../8d806..

owner
29757 PrQUS../8d806..

term root
97c37..