Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ο . (∀ x3 . In x3 x0 ⟶ x1 x3 ⟶ x2 x3) ⟶ (∀ x3 . In x3 x0 ⟶ not (x1 x3) ⟶ x2 (SetAdjoin x3 (Sing 1))) ⟶ ∀ x3 . In x3 (PSNo x0 x1) ⟶ x2 x3

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
PSNo_E

proofgold address
TMbxj..^PSNo_E

creator
2357 PrGxv../db7a0..

owner
2357 PrGxv../db7a0..

term root
6a486..