Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
divides_int_prime_nat_eq

proofgold address
TMaz4..^{divides_int_prime_nat_eq}

creator
30111 PrQUS../fae17..

owner
30111 PrQUS../fae17..

term root
5e30a..