Search for blocks/addresses/...

Proofgold Proposition

wceq cinftyexpi (cmpt (λ x0 . co (cneg cpi) cpi cioc) (λ x0 . cop (cv x0) cc))
type
prop
theory
SetMM
name
df_bj_inftyexpi
proof
PUUUJ..
Megalodon
-
proofgold address
TMJa1..
creator
36376 PrCmT../b231c..
owner
36376 PrCmT../b231c..
term root
b239e..