Proofgold Term Root Disambiguation

∀ x0 : ι → ο . ∀ x1 x2 . x0 x1 ⟶ not (x0 x2) ⟶ (not (x1 = x2) ⟶ False) ⟶ False

as obj
-

as prop
18cb3..^tab_mat_i_o

theory
HF

stx
36a0a..

address
TMJ2j..^tab_mat_i_o