Pramana-vikalpa-prasiddatva

Pramana-vikalpa-prasiddatva

Optionally proved