Proofgold Proposition

∀ x0 x1 . In x1 x0 ⟶ In (SetAdjoin x1 (Sing 1)) (SNoElts_ x0)

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNoElts__I2

proofgold address
TMFqn..^SNoElts__I2

creator
2357 PrGxv../0a30e..

owner
2357 PrGxv../0a30e..

term root
e43b4..