Proofgold Proposition

wb wac (∀ x0 . wex (λ x1 . wa (wss (cv x1) (cv x0)) (wfn (cv x1) (cdm (cv x0)))))

type
prop

theory
SetMM

name
df_ac

proof
PUhHD..

Megalodon
-

proofgold address
TMdyx..

creator
36397 PrCmT../93914..

owner
36397 PrCmT../93914..

term root
69325..