Proofgold Term Root Disambiguation

∀ x0 . Field x0 ⟶ CRing_with_id x0

as obj
-

as prop
e3b51..^{Field_is_CRing_with_id}

theory
HotG

stx
30095..

address
TMH41..^{Field_is_CRing_with_id}