Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . SNoCutP x0 x1∀ x2 . x2x1SNoLt (SNoCut x0 x1) x2
as obj
-
as prop
7c3d1..SNoCutP_SNoCut_R
theory
HotG
stx
fab7c..
address
TMdih..SNoCutP_SNoCut_R