Pramana-prasiddhatva

Pramada-charitra

Optionally proved