Примечание к статье "Теорема Кантора-Берштейна"
Видимо, автор статьи хотел сказать следующее:
t ⊢ I n j ( f : A ↦ B ) ∧ I n j ( g : B ↦ A ) ∧ {\displaystyle ~t\vdash \quad \mathrm {Inj(f} :A\mapsto B)\quad \land \quad \mathrm {Inj(g} :B\mapsto A)\quad \land }
Галактион 21:14, 10 серпня 2009 (UTC)Відповісти