Proofgold Proposition

∀ x0 . equip x0 4 ⟶ equip (Power x0) 16

type
prop

theory
HF

name
-

proof
PUaSf..

Megalodon
-

proofgold address
TMY9W..

creator
22364 PrBPC../0733b..

owner
22364 PrBPC../0733b..

term root
f9553..