Proofgold Proposition

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

type
prop

theory
HotG

name
In_no4cycle

proof
PUfRQ..

Megalodon
In_no4cycle

proofgold address
TMQGp..^In_no4cycle

creator
6761 Pr6Pc../15488..

owner
6761 Pr6Pc../15488..

term root
860b6..