Proofgold Proposition

wceq cfmla (cmpt (λ x0 . csuc com) (λ x0 . cdm (cfv (cv x0) (co c0 c0 csat))))

type
prop

theory
SetMM

name
df_fmla

proof
PUfj2..

Megalodon
-

proofgold address
TMMhx..

creator
36377 PrCmT../779e8..

owner
36377 PrCmT../779e8..

term root
2c297..