Search for blocks/addresses/...

Proofgold Proposition

wceq ctps (cab (λ x0 . wcel (cfv (cv x0) ctopn) (cfv (cfv (cv x0) cbs) ctopon)))
type
prop
theory
SetMM
name
df_topsp
proof
PUaM6..
Megalodon
-
proofgold address
TMHkq..
creator
36385 PrCmT../df342..
owner
36385 PrCmT../df342..
term root
a9e8d..