Proofgold Object

λ x0 x1 . and (and (x0 ∈ int) (x1 ∈ int)) (∃ x2 . and (x2 ∈ int) (mul_SNo x0 x2 = x1))

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..