Proofgold Term Root Disambiguation

∀ x0 x1 . c2e41.. x0 x1 ⟶ ∃ x2 : ι → ι . bij x0 x1 x2

as obj
-

as prop
64d57..

theory
HoTg

stx
c0cf7..

address
TMJ3W..