Proofgold Proposition

wceq clnm (crab (λ x0 . wral (λ x1 . wcel (co (cv x0) (cv x1) cress) clfig) (λ x1 . cfv (cv x0) clss)) (λ x0 . clmod))

type
prop

theory
SetMM

name
df_lnm

proof
PUbMc..

Megalodon
-

proofgold address
TMZ8F..

creator
36387 PrCmT../9e806..

owner
36387 PrCmT../9e806..

term root
c859c..