AULA 23

12 Dezembro 2017, 10:30 • Fernando Ferreira

Demonstração condicional geral (e a regra formal GenCond). Exemplo informal e formal.

Existência e unicidade.