Proofgold Proposition

∀ x0 x1 x2 . gcd_reln x0 x1 x2 ⟶ gcd_reln x1 x0 x2

type
prop

theory
HotG

name
gcd_sym

proof
PUVXT..

Megalodon
gcd_sym

proofgold address
TMGhW..^gcd_sym

creator
29757 PrQUS../077b2..

owner
29757 PrQUS../077b2..

term root
0a399..