Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . divides_int x0 x1divides_int x0 (minus_SNo x1)
as obj
-
as prop
dcc59..divides_int_minus_SNo
theory
HotG
stx
dc832..
address
TMbPd..divides_int_minus_SNo