AULA 20

28 Novembro 2018, 08:00 Fernando Ferreira

O teorema de Cantor que diz que ordens lineares densas sem extremos numeráveis são isomorfas (argumento de vai-vem).