Proofgold Proposition

∀ x0 . In x0 (Power x0)

type
prop

theory
HF

name
-

proof
PUNKw..

Megalodon
Self_In_Power

proofgold address
TMXTk..^{Self_In_Power}

creator
628 Pr4Ru../87574..

owner
628 Pr4Ru../87574..

term root
b42fc..