Search for blocks/addresses/...

Proofgold Proposition

wceq cprcpal (cmpt (λ x0 . cr) (λ x0 . co (co (cv x0) (co c2 cpi cmul) cmo) (cif (wbr (co (cv x0) (co c2 cpi cmul) cmo) cpi cle) cc0 (co c2 cpi cmul)) cmin))
type
prop
theory
SetMM
name
df_bj_prcpal
proof
PUUUJ..
Megalodon
-
proofgold address
TMHzB..
creator
36376 PrCmT../6bb3a..
owner
36376 PrCmT../6bb3a..
term root
e8b7f..