Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → ο . (∀ x1 . wceq (cv x1) (cv x1))(∀ x1 . x0 x1)∀ x1 . x0 x1
type
prop
theory
SetMM
name
ax_c11_b
proof
PUNA7..
Megalodon
-
proofgold address
TMPCJ..
creator
36384 PrCmT../89e17..
owner
36384 PrCmT../89e17..
term root
2847c..