Proofgold Object

λ x0 . and (and (x0 ∈ omega) (1 ∈ x0)) (∀ x1 . x1 ∈ omega ⟶ divides_nat x1 x0 ⟶ or (x1 = 1) (x1 = x0))

type
ι → ο

theory
HotG

name
prime_nat

definition
PUfRN..

Megalodon
prime_nat

proofgold address
TMPsb..^prime_nat

creator
4972 Pr6Pc../f2dde..

owner
4972 Pr6Pc../f2dde..

term root
729ee..