Proofgold Proposition

wceq cbits (cmpt (λ x0 . cz) (λ x0 . crab (λ x1 . wn (wbr c2 (cfv (co (cv x0) (co c2 (cv x1) cexp) cdiv) cfl) cdvds)) (λ x1 . cn0)))

type
prop

theory
SetMM

name
df_bits

proof
PUQy1..

Megalodon
-

proofgold address
TMUvM..

creator
36378 PrCmT../76fd6..

owner
36378 PrCmT../76fd6..

term root
a1d8f..