Search for blocks/addresses/...

Proofgold Proposition

wceq clindeps (copab (λ x0 x1 . wn (wbr (cv x0) (cv x1) clininds)))
type
prop
theory
SetMM
name
df_lindeps
proof
PUeJx..
Megalodon
-
proofgold address
TMUfC..
creator
36384 PrCmT../3e177..
owner
36384 PrCmT../3e177..
term root
921e3..