Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → ο . (∀ x1 : ο . (∀ x2 . and (ordinal x2) (x0 x2)x1)x1)∀ x1 : ο . (∀ x2 . and (and (ordinal x2) (x0 x2)) (∀ x3 . In x3 x2not (x0 x3))x1)x1
type
prop
theory
HF
name
-
proof
PUZ6J..
Megalodon
least_ordinal_ex
proofgold address
TMJq3..least_ordinal_ex
creator
1604 PrGxv../90d03..
owner
1604 PrGxv../90d03..
term root
9b4ba..