Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ο . prim5 (Sep x0 x1)

as obj
9bdb5..^ReplSep

as prop
-

theory
HotG

stx
18c18..

address
TMLdt..^ReplSep