Proofgold Term Root Disambiguation

λ x0 : ι → ο . λ x1 . λ x2 : ι → ι . ∀ x3 . x3 ∈ x1 ⟶ and (x0 (x2 x3)) (∀ x4 . x4 ∈ x3 ⟶ SNoLe (x2 x3) (x2 x4))

as obj
168aa..^{nonincrfinseq}

as prop
-

theory
HotG

stx
afc5a..

address
TMSuo..^{nonincrfinseq}