Proofgold Proposition

SNoElts_ = λ x1 . binunion x1 (Repl x1 (λ x2 . SetAdjoin x2 (Sing 1)))

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
SNoElts__def

proofgold address
-

creator

owner

term root
a5b01..