Proofgold Proposition

∀ x0 x1 x2 . gcd_reln x0 x1 x2 ⟶ gcd_reln x0 (minus_SNo x1) x2

type
prop

theory
HotG

name
gcd_minus

proof
PUVXT..

Megalodon
gcd_minus

proofgold address
TMErm..^gcd_minus

creator
29757 PrQUS../32ca2..

owner
29757 PrQUS../32ca2..

term root
261ac..