Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . x1 ∈ x0 ⟶ atleastp x1 x0

type
prop

theory
HotG

name
nat_In_atleastp

proof
PUfcG..

Megalodon
-

proofgold address
TMZtJ..

creator
14561 Pr4zB../79c37..

owner
14561 Pr4zB../79c37..

term root
3deb6..