Proofgold Term Root Disambiguation

∀ x0 . In x0 x0 ⟶ False

as obj
-

as prop
2a3a3..^In_irref_b

theory
HF

stx
5e00d..

address
TMRzT..^In_irref_b