Proofgold Proposition

wceq cfin5 (cab (λ x0 . wo (wceq (cv x0) c0) (wbr (cv x0) (co (cv x0) (cv x0) ccda) csdm)))

type
prop

theory
SetMM

name
df_fin5

proof
PUhHD..

Megalodon
-

proofgold address
TMSne..

creator
36397 PrCmT../4b66f..

owner
36397 PrCmT../4b66f..

term root
cea19..