Proofgold Object

λ x0 x1 . and (and (x0 ∈ omega) (x1 ∈ omega)) (∀ x2 : ο . (∀ x3 . and (x3 ∈ omega) (mul_nat x0 x3 = x1) ⟶ x2) ⟶ x2)

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