Proofgold Term Root Disambiguation

∀ x0 . Field x0 ⟶ Field_Hom x0 x0 (lam_id (ap x0 0))

as obj
-

as prop
0a051..^Field_Hom_id

theory
HotG

stx
6b5ba..

address
TMMTr..^Field_Hom_id