Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoCutP (SNoL_omega x0) (SNoR_omega x0)
type
prop
theory
HotG
name
-
proof
PUVu4..
Megalodon
SNoCutP_SNoL_SNoR_omega
proofgold address
TMLgz..SNoCutP_SNoL_SNoR_omega
creator
5368 Pr6Pc../1920d..
owner
5368 Pr6Pc../1920d..
term root
15b22..