Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 x0 ⟶ In (Inj1 x1) (Inj0 x0)

as obj
-

as prop
88e5c..^Inj0I

theory
HF

stx
a6670..

address
TMaFj..^Inj0I