17 dezembro 2019, 13:00 • João Rasga
Conclusão do exercício sobre completude da teoria dos grafos extensionais.