Proofgold Proposition

wceq cfn (cab (λ x0 . wrex (λ x1 . wbr (cv x0) (cv x1) cen) (λ x1 . com)))

type
prop

theory
SetMM

name
df_fin

proof
PUQ2W..

Megalodon
-

proofgold address
TMSmQ..

creator
36396 PrCmT../9d233..

owner
36396 PrCmT../9d233..

term root
aaa0c..