Proofgold Proposition

wceq cfin4 (cab (λ x0 . wn (wex (λ x1 . wa (wpss (cv x1) (cv x0)) (wbr (cv x1) (cv x0) cen)))))

type
prop

theory
SetMM

name
df_fin4

proof
PUhHD..

Megalodon
-

proofgold address
TMSfc..

creator
36397 PrCmT../1bc68..

owner
36397 PrCmT../1bc68..

term root
d629c..