Search for blocks/addresses/...

Proofgold Proposition

wceq crgspn (cmpt (λ x0 . cvv) (λ x0 . cmpt (λ x1 . cpw (cfv (cv x0) cbs)) (λ x1 . cint (crab (λ x2 . wss (cv x1) (cv x2)) (λ x2 . cfv (cv x0) csubrg)))))
type
prop
theory
SetMM
name
df_rgspn
proof
PUgy2..
Megalodon
-
proofgold address
TMHe2..
creator
36386 PrCmT../fec86..
owner
36386 PrCmT../fec86..
term root
8ea24..