Proofgold Proposition

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

type
prop

theory
HotG

name
bij_inj

proof
PUL8Q..

Megalodon
bij_inj

proofgold address
TMRRN..^bij_inj

creator
4882 Pr6Pc../ea435..

owner
4882 Pr6Pc../ea435..

term root
e3635..