Bà Triệu tên thật là gì?

Bà là một trong những nữ tướng nổi tiếng bậc nhất sử Việt nhưng ít người tên thật của bà là gì.