Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . f482f.. (0fc90.. (4ae4a.. (4ae4a.. 4a7ef..)) (λ x3 . If_i (x3 = 4a7ef..) x0 x1)) 4a7ef.. = x0
type
prop
theory
HoTg
name
-
proof
PUTo6..
Megalodon
-
proofgold address
TMa5a..
creator
2774 PrGxv../4ddfa..
owner
2774 PrGxv../4ddfa..
term root
67d8f..