Proofgold Proposition

∀ x0 . nat_p x0 ⟶ 1 ∈ x0 ⟶ ∀ x1 : ο . (∀ x2 . and (prime_nat x2) (divides_nat x2 x0) ⟶ x1) ⟶ x1

type
prop

theory
HotG

name
prime_nat_divisor_ex

proof
PUPh4..

Megalodon
prime_nat_divisor_ex

proofgold address
TMR9G..^{prime_nat_divisor_ex}

creator
29757 PrQUS../63e67..

owner
29757 PrQUS../63e67..

term root
2a24d..