Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . prim0 (x0 (EpsR_i_i_1 x0))

as obj
bca9f..

as prop
-

theory
HoTg

stx
7f654..

address
TMFew..^EpsR_i_i_2