Proofgold Proposition

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

type
prop

theory
HotG

name
bij_surj

proof
PUL8Q..

Megalodon
bij_surj

proofgold address
TMK69..^bij_surj

creator
4882 Pr6Pc../6af3a..

owner
4882 Pr6Pc../6af3a..

term root
e7a04..