Proofgold Object

λ x0 x1 x2 . and (and (divides_int x2 x0) (divides_int x2 x1)) (∀ x3 . divides_int x3 x0 ⟶ divides_int x3 x1 ⟶ SNoLe x3 x2)

type
ι → ι → ι → ο

theory
HotG

name
gcd_reln

definition
PUVXT..

Megalodon
gcd_reln

proofgold address
TMKPN..^gcd_reln

creator
29757 PrQUS../57e02..

owner
29757 PrQUS../57e02..

term root
9ed1e..