Proofgold Proposition

∀ x0 . In 0 (Power x0)

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
Empty_In_Power

proofgold address
TMdEF..^{Empty_In_Power}

creator
1168 PrGxv../307ea..

owner
1168 PrGxv../307ea..

term root
8285c..