Về nhân vật lịch sử Tuệ Tĩnh - Mai Hùng.