Proofgold Proposition

wceq clinds (cmpt (λ x0 . cvv) (λ x0 . crab (λ x1 . wbr (cres cid (cv x1)) (cv x0) clindf) (λ x1 . cpw (cfv (cv x0) cbs))))

type
prop

theory
SetMM

name
df_linds

proof
PUTDz..

Megalodon
-

proofgold address
TMNLF..

creator
36386 PrCmT../8adbb..

owner
36386 PrCmT../8adbb..

term root
4e859..