Proofgold Proposition

∀ x0 x1 x2 : ο . wb (wvhc3 x0 x1 x2) (w3a x0 x1 x2)

type
prop

theory
SetMM

name
df_vhc3

proof
PUQnf..

Megalodon
-

proofgold address
TMcNx..

creator
36386 PrCmT../8e26a..

owner
36386 PrCmT../8e26a..

term root
21df0..