Proofgold Term Root Disambiguation

λ x0 x1 x2 . x2 ∈ setexp x1 x0

as obj
af2f6..^SetHom

as prop
-

theory
HotG

stx
2772d..

address
TMLiL..^SetHom