TP 15

9 Novembro 2018, 11:30 • Fernando Ferreira

Finalização da  demonstração da associatividade da some ordinal (pendente da teórica).

Demonstração da lei ordinal da distributividade à esquerda da multiplicação em relação à soma.