Proofgold Term Root Disambiguation

∀ x0 x1 . prime_nat x0 ⟶ prime_nat x1 ⟶ divides_int x0 x1 ⟶ x0 = x1

as obj
-

as prop
d07df..^{divides_int_prime_nat_eq}

theory
HotG

stx
afc5a..

address
TMKck..^{divides_int_prime_nat_eq}