Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι . bij x0 x1 x2 ⟶ equip x0 x1

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
equipI

proofgold address
TMdRr..^equipI

creator
2277 PrGxv../c2bf3..

owner
2277 PrGxv../c2bf3..

term root
4b957..