Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 : ι → ο . wceq (cfv x0 x1) (cio (λ x2 . wbr x0 (cv x2) x1))
type
prop
theory
SetMM
name
df_fv
proof
PUWab..
Megalodon
-
proofgold address
TMXAz..
creator
36397 PrCmT../00f7d..
owner
36397 PrCmT../00f7d..
term root
f150e..