Proofgold Term Root Disambiguation

∀ x0 . V_ (V_ x0) = V_ x0

as obj
-

as prop
6fa7f..

theory
HotG

stx
f4683..

address
TMNM5..