Proofgold Term Root Disambiguation

λ x0 . Sep (V_ x0) ordinal

as obj
9d271..

as prop
-

theory
HotG

stx
f4683..

address
TMLeF..