Proofgold Proposition

wceq cptfin (cab (λ x0 . wral (λ x1 . wcel (crab (λ x2 . wcel (cv x1) (cv x2)) (λ x2 . cv x0)) cfn) (λ x1 . cuni (cv x0))))

type
prop

theory
SetMM

name
df_ptfin

proof
PURda..

Megalodon
-

proofgold address
TMGNo..

creator
36257 PrCmT../5bedc..

owner
36257 PrCmT../5bedc..

term root
1be4e..