Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . and (and (x0int_alt1) (x1int_alt1)) (∀ x2 : ο . (∀ x3 . and (x3int_alt1) (mul_SNo x0 x3 = x1)x2)x2)
as obj
5fa28..divides_int
as prop
-
theory
HotG
stx
3b6f0..
address
TMX9H..divides_int