Proofgold Term Root Disambiguation

as obj
-

as prop
ca919..^{MetaCat_struct_r_equivreln}

theory
HotG

stx
74c78..

address
TMMj9..^{MetaCat_struct_r_equivreln}