Proofgold Term Root Disambiguation

∀ x0 . In x0 3 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 1 ⟶ x1 2 ⟶ x1 x0

as obj
-

as prop
416bd..^cases_3

theory
HF

stx
0d78c..

address
TMFZn..^cases_3