Proofgold Proposition

∀ x0 x1 x2 x3 : ο . wb (wvd3 x0 x1 x2 x3) (w3a x0 x1 x2 ⟶ x3)

type
prop

theory
SetMM

name
df_vd3

proof
PUQnf..

Megalodon
-

proofgold address
TMMkX..

creator
36386 PrCmT../431d3..

owner
36386 PrCmT../431d3..

term root
75825..