Proofgold Proposition

wceq cbo (crab (λ x0 . wbr (cfv (cv x0) cnop) cpnf clt) (λ x0 . clo))

type
prop

theory
SetMM

name
df_bdop

proof
PUUBK..

Megalodon
-

proofgold address
TMHFy..

creator
36383 PrCmT../45c99..

owner
36383 PrCmT../45c99..

term root
9fc0b..