Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ ∀ x1 x2 . b38a5.. (ordsucc x0) x1 x2 = 4ec03.. (ap x1 0) (b38a5.. x0 (stream_rest x1) x2)

as obj
-

as prop
8242e..

theory
HotG

stx
711a4..

address
TMRHA..