• rgyud
• gzhan
• grub
• pa
• zhes
• bya
• ba'i
• rab
• tu
• byed
• pa

[translation-san] saṃtānāntarasiddhināmaprakaraṇa

[translation-eng] {Hopkins} [Dharmkīrti's] Proof of Other Continuums [P5716, vol. 130]