Proofgold Term Root Disambiguation

∀ x0 . bij x0 x0 (λ x1 . x1)

as obj
-

as prop
80271..

theory
HoTg

stx
75b72..

address
TMKDA..^bij_id