Proofgold Object

λ x0 x1 . and (and (x0 ∈ omega) (x1 ∈ omega)) (∃ x2 . and (x2 ∈ omega) (mul_nat x0 x2 = x1))

type
ι → ι → ο

theory
HotG

name
divides_nat

definition
PUfRN..

Megalodon
divides_nat

proofgold address
TMc53..^divides_nat

creator
4972 Pr6Pc../0c98e..

owner
4972 Pr6Pc../0c98e..

term root
1b17d..