Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . x0 ∈ x1 ⟶ x1 ∈ x2 ⟶ x2 ∈ x3 ⟶ x3 ∈ x0 ⟶ False

as obj
-

as prop
4d61a..^In_no4cycle

theory
HotG

stx
26642..

address
TMLxq..^In_no4cycle