Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0SNoS_ omega(∀ x1 . x1omegaSNoLt (abs_SNo (add_SNo x0 (minus_SNo 1))) (eps_ x1))x0 = 1
type
prop
theory
HotG
name
-
proof
PUaqn..
Megalodon
-
proofgold address
TMXbw..
creator
12463 PrGxv../ceca4..
owner
12463 PrGxv../ceca4..
term root
44ba0..