En ese tiempo se le conocía como “San Antonio Otlaquiquistla del corregimiento de Cuauhtochco”.