Search for blocks/addresses/...

Proofgold Asset

asset id
1adb2dfe4c3b59889c821ebc12651d340989297397303354236c780271325534
asset hash
0760d5020e41189b18531954c576452f1e749fa63540ba3fee233feb3f69330d
bday / block
2853
tx
d3ab4..
preasset
doc published by PrJJf..
Known 7c02f..andI : ∀ x0 x1 : ο . x0x1and x0 x1
Known c1173..Subq_def : Subq = λ x1 x2 . ∀ x3 . In x3 x1In x3 x2
Theorem 05733.. : ∀ x0 : ο . (∀ x1 . and (Subq x1 (Power (Power (Power (Power 0))))) (∀ x2 . (∀ x3 . Subq x3 x2∀ x4 x5 . and (not (tuple_p x4 x5)) (and (exactly5 x1) (not (atleast2 x3)))SNo_ (Sing (SNoLev x1)) x5)x2 = x2)x0)x0 (proof)