Proofgold Object

λ x0 x1 . and (and (x0 ∈ int) (x1 ∈ int)) (∀ x2 : ο . (∀ x3 . and (x3 ∈ int) (mul_SNo x0 x3 = x1) ⟶ x2) ⟶ x2)

type
ι → ι → ο

theory
HotG

name
divides_int

definition
PUgbS..

Megalodon
divides_int

proofgold address
TMbTB..^divides_int

creator
28273 Pr5Zc../bf603..

owner
28273 Pr5Zc../bf603..

term root
c1f22..