São Martinho
It is unclear when São Martinho began being referred to with the suffix "de Antas" or "d'Antas". It is clear that Portuguese (and early Brazilian) encyclopedias (such as the Luso-Brasileira, O Grande Dicionário da Verbo Universal) refers to São Martinho de Antas in 1406.