Proofgold Term Root Disambiguation

∀ x0 . Field x0 ⟶ subfield x0 x0

as obj
-

as prop
463ba..^{subfield_refl}

theory
HotG

stx
6b5ba..

address
TMQXD..^{subfield_refl}