Proofgold Proposition

∀ x0 x1 x2 x3 . gcd_reln x0 x1 x2 ⟶ gcd_reln x0 x1 x3 ⟶ x2 = x3

type
prop

theory
HotG

name
gcd_reln_uniq

proof
PUVXT..

Megalodon
gcd_reln_uniq

proofgold address
TMct2..^{gcd_reln_uniq}

creator
29757 PrQUS../d83c6..

owner
29757 PrQUS../d83c6..

term root
77eeb..