Tolong jelaskan mengenai Sejarah dari Mantin dalam bahasa melayu

Mantin pada satu ketika dahulu dikenali sebagai Setul. Ia dipercayai dibuka oleh orang Melayu yang berasal dari Pantai, Seremban. Penemuan bijih timah di kawasan ini telah menarik minat pihak British untuk membangunkan serta memajukan kawasan Setul. Oleh itu, pihak British menawarkan pampasan berupa tanah dan wang tunai kepada penduduk Setul sekiranya mereka berpindah ke kawasan lain. Kampung Setul kini terletak di Batu 8 Mantin. Walaupun nama Setul jarang didengari oleh penduduk, namun kumpulan mukim yang terdiri daripada Mantin, Nilai, Pajam dan Batang Benar dikenali sebagai Mukim Setul.

Menurut cerita orang-orang tua  di kawasan Pekan Mantin, asal nama pekan ini ialah ‘Many Tin’. Nama ini diberi oleh orang British berikutan banyaknya bijih timah di kawasan ini. Ketika itu, ramai imigran dari negara China telah berhijrah ke sini untuk menjadi buruh di lombong bijih timah. Oleh sebab orang Cina ini susah untuk menyebut perkataan ‘Many Tin’, maka mereka memudahkan sebutan tersebut menjadi ‘Man Tin’. Akhirnya nama Mantin kekal digunakan sehingga kini.

Menurut sumber yang lain, nama Mantin sekarang adalah berasal dari lombong bijih timah yang dimiliki oleh seorang Taukeh Cina (ahli perniagaan Cina yang terkenal), Kong Sang (广 生 号, ia merupakan nama syarikat). Orang-orang British memanggil tempat ini sebagai 'Mine Tin' manakala kebanyakan masyarakat Melayu memanggilnya Mantin. Penduduk tempat itu tidak boleh mengatakan 'Mine Tin' dengan betul, maka mereka menyebut sebagai Mantin.

Catatan terawal tentang Mantin adalah berkaitan dengan Kapitan Seng Ming Lee (甲必单盛明利), seorang ketua berbangsa Cina yang telah terbunuh pada tahun 1860, dalam Perang antara dua kumpulan rahsia masyarakat Cina (Hai San (Masyarakat Cina beragama Islam) dan Ghee Hin (Masyarakat Cina beragama Buddha)) berhampiran Sungei Ujong (sekarang dikenali sebagai Seremban). Keturunan Kapitan Seng telah lari ke kawasan Mantin. Kini, Cicit dan keturunan Kapitan Seng masih menetap di Mantin.