Proofgold Proposition

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

type
prop

theory
HotG

name
inj_surj_bij

proof
PUL8Q..

Megalodon
inj_surj_bij

proofgold address
TMKfq..^inj_surj_bij

creator
4882 Pr6Pc../02499..

owner
4882 Pr6Pc../02499..

term root
ccff0..