Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ∈ x1 ⟶ x1 ∈ x0 ⟶ False

as obj
-

as prop
344f3..^In_no2cycle

theory
HotG

stx
18c18..

address
TMcBg..^In_no2cycle