Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . SNoCutP x0 x1∀ x2 . x2SNoR (SNoCut x0 x1)∃ x3 . and (x3x1) (SNoLe x3 x2)
type
prop
theory
HotG
name
SNoR_SNoCutP_ex
proof
PUewm..
Megalodon
SNoR_SNoCutP_ex
proofgold address
TMMkf..SNoR_SNoCutP_ex
creator
27779 PrQUS../b99c5..
owner
27779 PrQUS../b99c5..
term root
ca7be..