Proofgold Term Root Disambiguation

as obj
-

as prop
707cb..^{MetaCat_struct_b_b_r_e_e_ordered_field}

theory
HotG

stx
1ab52..

address
TMRAV..^{MetaCat_struct_b_b_r_e_e_ordered_field}