Search for blocks/addresses/...

Proofgold Proposition

wceq cfin3 (cab (λ x0 . wcel (cpw (cv x0)) cfin4))
type
prop
theory
SetMM
name
df_fin3
proof
PUhHD..
Megalodon
-
proofgold address
TMSs8..
creator
36397 PrCmT../1d95f..
owner
36397 PrCmT../1d95f..
term root
34561..