Proofgold Proposition

∀ x0 x1 x2 . x0 ∈ x1 ⟶ x1 ∈ x2 ⟶ nIn x2 x0

type
prop

theory
HotG

name
-

proof
PUVNt..

Megalodon
-

proofgold address
TMNbs..

creator
4897 Pr6Pc../ba26d..

owner
4897 Pr6Pc../ba26d..

term root
410dc..