Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0SNoS_ omega(∀ x1 . x1x0∀ x2 : ο . (∀ x3 . and (x3omega) (∀ x4 . x4SNoS_ omegaSNoLt (add_SNo x1 (minus_SNo (eps_ x3))) x4SNoLt x4 (add_SNo x1 (eps_ x3))x4x0)x2)x2)f8473.. x0
type
prop
theory
HotG
name
-
proof
PUVu4..
Megalodon
diadic_open_I
proofgold address
TMHea..diadic_open_I
creator
5368 Pr6Pc../200ec..
owner
5368 Pr6Pc../200ec..
term root
69059..