Proofgold Proposition

∀ x0 . equip (setexp 1 x0) 1

type
prop

theory
HF

name
-

proof
PUaSf..

Megalodon
-

proofgold address
TMdCP..

creator
22364 PrBPC../919fe..

owner
22364 PrBPC../919fe..

term root
8c657..