Proofgold Proposition

wceq ceven (crab (λ x0 . wcel (co (cv x0) c2 cdiv) cz) (λ x0 . cz))

type
prop

theory
SetMM

name
df_even

proof
PUYnf..

Megalodon
-

proofgold address
TMRJ4..

creator
36378 PrCmT../651ab..

owner
36378 PrCmT../651ab..

term root
e9762..