Proofgold Proposition

∀ x0 . x0 ∈ prim4 x0

type
prop

theory
HotG

name
Self_In_Power

proof
PUL8Q..

Megalodon
Self_In_Power

proofgold address
TMKY4..^{Self_In_Power}

creator
4882 Pr6Pc../22b1a..

owner
4882 Pr6Pc../22b1a..

term root
f81ef..