Proofgold Proposition

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

type
prop

theory
HotG

name
bij_inv

proof
PUL8Q..

Megalodon
bij_inv

proofgold address
TMYU3..^bij_inv

creator
4882 Pr6Pc../b35d6..

owner
4882 Pr6Pc../b35d6..

term root
ff133..