Mravín ist ein Ort, der 1945 zu Tschechoslowakei gehörte und im Verwaltungsgebiet Vysoké Mýto lag. Mravín gehörte ehemals zum Deutschen Reich. Im Deutschen Reich hieß der Ort Mravín. Heute heißt der Ort Mravín und gehört zu Tschechoslowakei.