Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0SNoS_ omega∀ x1 . x1SNoS_ omegaSNoLt x0 x1∀ x2 : ο . (∀ x3 . and (x3omega) (SNoLt (add_SNo x0 (eps_ x3)) x1)x2)x2
type
prop
theory
HotG
name
add_SNo_omega_eps_Lt
proof
PUVu4..
Megalodon
add_SNo_omega_eps_Lt
proofgold address
TMYHZ..add_SNo_omega_eps_Lt
creator
5368 Pr6Pc../2cb53..
owner
5368 Pr6Pc../2cb53..
term root
5a850..