Proofgold Proposition

wceq cclm (crab (λ x0 . wsbc (λ x1 . wsbc (λ x2 . wa (wceq (cv x1) (co ccnfld (cv x2) cress)) (wcel (cv x2) (cfv ccnfld csubrg))) (cfv (cv x1) cbs)) (cfv (cv x0) csca)) (λ x0 . clmod))

type
prop

theory
SetMM

name
df_clm

proof
PUQGM..

Megalodon
-

proofgold address
TMbxt..

creator
36385 PrCmT../1db03..

owner
36385 PrCmT../1db03..

term root
b150a..