Mravín ist ein Ort, der 1939 zu Deutsches Reich gehörte und im Verwaltungsgebiet Hohenmauth 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.