Proofgold Term Root Disambiguation

∀ x0 . Inj1 x0 = 0 ⟶ ∀ x1 : ο . x1

as obj
-

as prop
09bd1..^Inj1NE1

theory
HotG

stx
114a5..

address
TMZWF..^Inj1NE1