Proofgold Term Root Disambiguation

∀ x0 . TransSet x0 ⟶ (∀ x1 . In x1 x0 ⟶ TransSet x1) ⟶ ordinal x0

as obj
-

as prop
42144..^ordinalI

theory
HF

stx
b6147..

address
TMRdY..^ordinalI