Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ 1 ∈ x0 ⟶ or (prime_nat x0) (composite_nat x0)

type
prop

theory
HotG

name
prime_nat_or_composite_nat

proof
PUPh4..

Megalodon
prime_nat_or_composite_nat

proofgold address
TMb2D..^{prime_nat_or_composite_nat}

creator
29757 PrQUS../e7dca..

owner
29757 PrQUS../e7dca..

term root
a8970..