Proofgold Proposition

∀ x0 x1 x2 . x1 ∈ int ⟶ gcd_reln x0 (add_SNo x1 (minus_SNo x0)) x2 ⟶ gcd_reln x0 x1 x2

type
prop

theory
HotG

name
euclidean_algorithm_prop_1

proof
PUVXT..

Megalodon
euclidean_algorithm_prop_1

proofgold address
TMLyj..^{euclidean_algorithm_prop_1}

creator
29757 PrQUS../4376a..

owner
29757 PrQUS../4376a..

term root
a6b8d..