Proofgold Proposition

wceq czeroo (cmpt (λ x0 . ccat) (λ x0 . cin (cfv (cv x0) cinito) (cfv (cv x0) ctermo)))

type
prop

theory
SetMM

name
df_zeroo

proof
PULi1..

Megalodon
-

proofgold address
TMJdt..

creator
36376 PrCmT../917ef..

owner
36376 PrCmT../917ef..

term root
8c9c9..