Search for blocks/addresses/...

Proofgold Proposition

wceq crrvec (crab (λ x0 . wceq (cfv (cv x0) csca) crefld) (λ x0 . clvec))
type
prop
theory
SetMM
name
df_bj_rrvec
proof
PUXUn..
Megalodon
-
proofgold address
TMZMk..
creator
36376 PrCmT../b9d61..
owner
36376 PrCmT../b9d61..
term root
a9b6a..