Proofgold Term Root Disambiguation

λ x0 x1 : ο . and (x0 ⟶ x1) (x1 ⟶ x0)

as obj
5fba2..

as prop
-

theory
HoTg

stx
f69d8..

address
TMNPk..^iff