vajramitra वज्रमित्र

Definition: m. Name of a king