Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 x4 x5 x6 x7 . SNo x0SNo x1SNo x2SNo x3SNo x4SNo x5SNo x6SNo x7SNoLt (add_SNo x0 x5) (add_SNo x6 x4)SNoLt x1 (add_SNo x7 x3)SNoLt (add_SNo x6 x7) (add_SNo x2 x5)SNoLt (add_SNo x0 x1) (add_SNo x2 (add_SNo x3 x4))
as obj
-
as prop
a1520..add_SNo_Lt_subprop3d
theory
HotG
stx
fd8fe..
address
TMGmo..add_SNo_Lt_subprop3d