Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . SNo x0SNo x1SNo x2SNoLe (minus_SNo x0) (add_SNo x1 (minus_SNo x2))SNoLe (add_SNo x2 (minus_SNo x1)) x0
as obj
-
as prop
205b0..minus_SNo_Le_swap2
theory
HotG
stx
6036f..
address
TML9p..minus_SNo_Le_swap2