Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . atleastp x0 u3∀ x1 . x1x0∀ x2 . x2x0atleastp u2 x1atleastp u2 x2∀ x3 : ο . (∀ x4 . and (x4x1) (x4x2)x3)x3
type
prop
theory
HotG
name
-
proof
PUcra..
Megalodon
-
proofgold address
TMLGo..
creator
31062 Pr4zB../39253..
owner
31062 Pr4zB../39253..
term root
df4ce..