Proofgold Proposition

∀ x0 x1 . equip x0 x1 ⟶ ∀ x2 : ο . (∀ x3 : ι → ι . bij x0 x1 x3 ⟶ x2) ⟶ x2

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
equipE_impred

proofgold address
TMRaA..^{equipE_impred}

creator
2277 PrGxv../60048..

owner
2277 PrGxv../60048..

term root
f82d0..