PanLinx
português
por-000
teorema da compacidade
English
eng-000
compactness theorem
PanLex