Search for blocks/addresses/...

Proofgold Proposition

wceq ctdrg (crab (λ x0 . wcel (co (cfv (cv x0) cmgp) (cfv (cv x0) cui) cress) ctgp) (λ x0 . cin ctrg cdr))
type
prop
theory
SetMM
name
df_tdrg
proof
PUNQ5..
Megalodon
-
proofgold address
TMbwZ..
creator
36378 PrCmT../32180..
owner
36378 PrCmT../32180..
term root
02d3a..