Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . (∀ x2 . x2prim4 x0x1 x2prim4 x0)(∀ x2 . x2prim4 x0∀ x3 . x3prim4 x0x2x3x1 x2x1 x3)∀ x2 : ο . (∀ x3 . and (x3prim4 x0) (x1 x3 = x3)x2)x2
type
prop
theory
HotG
name
KnasterTarski_set
proof
PUhjz..
Megalodon
KnasterTarski_set
proofgold address
TMVA6..KnasterTarski_set
creator
4897 Pr6Pc../8cd41..
owner
4897 Pr6Pc../8cd41..
term root
2ffb9..