Proofgold Proposition

wceq clk (cmpt (λ x0 . cvv) (λ x0 . cmpt (λ x1 . cfv (cv x0) clfn) (λ x1 . cima (ccnv (cv x1)) (csn (cfv (cfv (cv x0) csca) c0g)))))

type
prop

theory
SetMM

name
df_lkr

proof
PUNA7..

Megalodon
-

proofgold address
TMM3Q..

creator
36384 PrCmT../299c6..

owner
36384 PrCmT../299c6..

term root
3c16d..