Proofgold Proposition

∀ x0 . 0 ∈ prim4 x0

type
prop

theory
HotG

name
Empty_In_Power

proof
PUL8Q..

Megalodon
Empty_In_Power

proofgold address
TMa8X..^{Empty_In_Power}

creator
4882 Pr6Pc../c3238..

owner
4882 Pr6Pc../c3238..

term root
d2656..