Proofgold Term Root Disambiguation

λ x0 x1 . and (and (x0 ∈ int_alt1) (x1 ∈ int_alt1)) (∃ x2 . and (x2 ∈ int_alt1) (mul_SNo x0 x2 = x1))

as obj
5fa28..^divides_int

as prop
-

theory
HotG

stx
3b6f0..

address
TMX9H..^divides_int