Proofgold Term Root Disambiguation

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

as obj
a54ca..^prime_nat

as prop
-

theory
HotG

stx
3b6f0..

address
TMdvX..^prime_nat