Proofgold Proposition

∀ x0 . prime_nat x0 ⟶ not (divides_int x0 1)

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
prime_not_divides_int_1

proofgold address
TMWvj..^{prime_not_divides_int_1}

creator
30111 PrQUS../1d8f1..

owner
30111 PrQUS../1d8f1..

term root
b9f76..