Search for blocks/addresses/...

Proofgold Proposition

wceq ctrg (crab (λ x0 . wcel (cfv (cv x0) cmgp) ctmd) (λ x0 . cin ctgp crg))
type
prop
theory
SetMM
name
df_trg
proof
PUNQ5..
Megalodon
-
proofgold address
TMMPg..
creator
36378 PrCmT../8f3a5..
owner
36378 PrCmT../8f3a5..
term root
97e4c..