Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 x2 . and (and (and (x0int_alt1) (x1int_alt1)) (x2setminus omega 1)) (divides_int_alt1 (add_SNo x0 (minus_SNo x1)) x2)
as obj
a0bc4..equiv_int_mod
as prop
-
theory
HotG
stx
3b6f0..
address
TMHGh..equiv_int_mod