Proofgold Proposition

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

type
prop

theory
HotG

name
gcd_0

proof
PUVXT..

Megalodon
gcd_0

proofgold address
TMP5N..^gcd_0

creator
29757 PrQUS../d2ef1..

owner
29757 PrQUS../d2ef1..

term root
a2235..