Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι . bij x0 x1 x2 ⟶ bij x1 x0 (ed93b.. x0 x2)

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
bij_inv

proofgold address
TMZZj..^bij_inv

creator
2277 PrGxv../3f599..

owner
2277 PrGxv../3f599..

term root
e3add..