TP 12

19 Novembro 2021, 11:00 • Fernando Ferreira

Algumas demonstrações por indução, incluindo 7 da p. 181, proposição 4.13 da p. 205 e 2(g) da p. 207.