Mravín - населенный пункт в после заключения Сен-Жерменского договора, который принадлежал к и находился в административном районе Vysoké Mýto.
Mravín ранее принадлежал к Германской империи. В составе Германской империи населенный пункт назывался Mravín. Сейчас населенный пункт называется Mravín и принадлежит к Чехословакия.