Proofgold Proposition

∀ x0 x1 . In x1 x0 ⟶ equip (setexp 0 x0) 0

type
prop

theory
HF

name
-

proof
PUaSf..

Megalodon
-

proofgold address
TMYZz..

creator
22364 PrBPC../3a30a..

owner
22364 PrBPC../3a30a..

term root
62108..