Mschlindwein
"Implicar" é, neste caso, transitivo direto.
08h33min
−15
186.204.15.54
→Relação bem ordenada e número ordinal
11h48min
He7d3r.bot
Atualizando a categoria do livro, com AutoCat (detalhes). utilizando AWB
12h59min
−39
Albmont
→O sucessor de um elemento de um ordinal é um subconjunto deste ordinal
04h12min
+61
Jorge Morais
cat
13h18min
+51
format
02h23min
+13
→Relação bem ordenada e número ordinal: Mais alguns resultados importantes
00h11min
+8 253
→Próximos capítulos: links corretos para os próximos capítulos
19h18min
+10
→Funções
21h15min
+43
Ampliando e plantando sementinhas do Mal
21h43min
+8 882
sementinhas do Mal
02h14min
+1 294
Versão inicial
22h10min
+3 252
