Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . (∃ x1 x3 . x0 x1 x3) ⟶ x0 (EpsR_i_i_1 x0) (EpsR_i_i_2 x0)

as obj
-

as prop
7ef25..

theory
HoTg

stx
7f654..

address
TMHei..^EpsR_i_i_12