Кто из математиков впервые сформулировал теорему Кантора-Бернштейна?

Эрнст Шрёдер первым сформулировал теорему Кантора-Бернштейна, но опубликовал неправильное доказательство. ru.ruwiki.ru ru.wikipedia.org

Независимо от него теорему сформулировал Георг Кантор, однако не приведя никакого обоснования. dzen.ru

Окончательный итог подвёл ученик Шрёдера — Феликс Бернштейн, опубликовавший диссертацию, содержащую полностью корректное доказательство. dzen.ru ru.ruwiki.ru