Proofgold Term Root Disambiguation

∀ x0 . ordinal x0 ⟶ ∀ x1 . In x1 x0 ⟶ ∀ x2 . In x2 x1 ⟶ ∀ x3 . In x3 x2 ⟶ In x3 x1

as obj
-

as prop
f2b18..^{ordinal_In_TransSet_b}

theory
HF

stx
82de5..

address
TMa7i..^{ordinal_In_TransSet_b}