Proofgold Proposition

∀ x0 . x0 ∈ setminus omega 2 ⟶ ∀ x1 . divides_nat x0 x1 ⟶ not (divides_nat x0 (ordsucc x1))

type
prop

theory
HotG

name
-

proof
PUcPW..

Megalodon
-

proofgold address
TMbj8..

creator
8134 PrFVW../38064..

owner
8134 PrFVW../38064..

term root
ee399..