Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : (ι → ι → ι)ι → ι → ι . (∀ x1 : ι → ι → ι . fb516.. x1fb516.. (x0 x1))6fb7f.. (f9ee2.. x0) = ∀ x2 : ι → ι → ι . fb516.. x26fb7f.. (x0 x2)
type
prop
theory
HotG
name
-
proof
PURih..
Megalodon
-
proofgold address
TMHs7..
creator
9308 PrGxv../de505..
owner
9308 PrGxv../de505..
term root
673b5..