Proofgold Proposition

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

type
prop

theory
HotG

name
In_no3cycle

proof
PUL8Q..

Megalodon
In_no3cycle

proofgold address
TMZPD..^In_no3cycle

creator
4882 Pr6Pc../1edbe..

owner
4882 Pr6Pc../1edbe..

term root
660f2..