Proofgold Proposition

∀ x0 . nat_p x0 ⟶ x0 ∈ prim6 0

type
prop

theory
HotG

name
nat_p_UnivOf_Empty

proof
PUL8Q..

Megalodon
nat_p_UnivOf_Empty

proofgold address
TMZEU..^{nat_p_UnivOf_Empty}

creator
4882 Pr6Pc../b1423..

owner
4882 Pr6Pc../b1423..

term root
c885b..