Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ setminus omega 2 ⟶ ∀ x1 . divides_nat x0 x1 ⟶ not (divides_nat x0 (ordsucc x1))

as obj
-

as prop
6ce5b..

theory
HotG

stx
71eda..

address
TMX9r..