Proofgold Term Root Disambiguation

∀ x0 : ο . iff x0 x0

as obj
-

as prop
168b6..

theory
HoTg

stx
336f4..

address
TMSKz..^iff_refl