Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ι → ο . ∀ x2 : ι → ι . ∀ x3 . In x3 (ReplSep x0 x1 x2) ⟶ (∀ x4 . In x4 x0 ⟶ x1 x4 ⟶ x3 = x2 x4 ⟶ False) ⟶ False

as obj
-

as prop
aeb4e..^{tab_pos_ReplSep}

theory
HF

stx
cb38c..

address
TMP9s..^{tab_pos_ReplSep}