Proofgold Proposition

∀ x0 : ι → ο . ∀ x1 : ι → ι → ο . ∀ x2 . wb (wsbc x0 (x1 x2)) (wcel (x1 x2) (cab x0))

type
prop

theory
SetMM

name
df_sbc

proof
PUJyx..

Megalodon
-

proofgold address
TMUoW..

creator
36396 PrCmT../a01c9..

owner
36396 PrCmT../a01c9..

term root
027e4..