Proofgold Proposition

wceq cfin7 (cab (λ x0 . wn (wrex (λ x1 . wbr (cv x0) (cv x1) cen) (λ x1 . cdif con0 com))))

type
prop

theory
SetMM

name
df_fin7

proof
PUhHD..

Megalodon
-

proofgold address
TMR81..

creator
36397 PrCmT../73d82..

owner
36397 PrCmT../73d82..

term root
7ef68..