Proofgold Proposition

wceq codd (crab (λ x0 . wcel (co (co (cv x0) c1 caddc) c2 cdiv) cz) (λ x0 . cz))

type
prop

theory
SetMM

name
df_odd

proof
PUYnf..

Megalodon
-

proofgold address
TMYiT..

creator
36378 PrCmT../5896b..

owner
36378 PrCmT../5896b..

term root
aa244..