Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ι . a3341.. (5fdf5.. x0 x1 x2)∀ x3 . prim1 x3 x0prim1 (x2 x3) x0
type
prop
theory
HoTg
name
-
proof
PUTJn..
Megalodon
-
proofgold address
TMXAt..
creator
2837 PrGxv../edc0a..
owner
2837 PrGxv../edc0a..
term root
0f569..