Proofgold Proposition

∀ x0 x1 . In x1 x0 ⟶ In x1 (SNoElts_ x0)

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNoElts__I1

proofgold address
TMXEn..^SNoElts__I1

creator
2357 PrGxv../d2a97..

owner
2357 PrGxv../d2a97..

term root
61a2d..