Peygamberimiz döneminde Mihrali ismi kullanılıyor muydu?

Mihrali ismi birleşik bir isim olduğu için peygamberimiz döneminde bu tam formda kullanıldığına dair kesin bir kayıt bulunmamaktadır.