Proofgold Proposition

wceq cfin6 (cab (λ x0 . wo (wbr (cv x0) c2o csdm) (wbr (cv x0) (cxp (cv x0) (cv x0)) csdm)))

type
prop

theory
SetMM

name
df_fin6

proof
PUhHD..

Megalodon
-

proofgold address
TMLa9..

creator
36397 PrCmT../676c8..

owner
36397 PrCmT../676c8..

term root
8e9b3..