Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNoElts__E

proofgold address
TMSpn..^SNoElts__E

creator
2357 PrGxv../afab9..

owner
2357 PrGxv../afab9..

term root
023b2..