Proofgold Proposition

∀ x0 x1 . ∀ x2 : ο . (Subq x1 (SNoElts_ x0) ⟶ (∀ x3 . In x3 x0 ⟶ exactly1of2 (In (SetAdjoin x3 (Sing 1)) x1) (In x3 x1)) ⟶ x2) ⟶ SNo_ x0 x1 ⟶ x2

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNo__E

proofgold address
TMPYk..^SNo__E

creator
2357 PrGxv../f2d39..

owner
2357 PrGxv../f2d39..

term root
e5ee0..