Proofgold Proposition

wceq cmbf (crab (λ x0 . wral (λ x1 . wa (wcel (cima (ccnv (ccom cre (cv x0))) (cv x1)) (cdm cvol)) (wcel (cima (ccnv (ccom cim (cv x0))) (cv x1)) (cdm cvol))) (λ x1 . crn cioo)) (λ x0 . co cc cr cpm))

type
prop

theory
SetMM

name
df_mbf

proof
PUa4n..

Megalodon
-

proofgold address
TMMz8..

creator
36386 PrCmT../7aa50..

owner
36386 PrCmT../7aa50..

term root
45986..