瑜伽師地論略纂 5.76

5.76

「由此力故，心俱證會」者，由希彼果空力，及由觀察空力，於內、外空俱能證會；能證會已，便彼果空及觀察空二種圓滿。今此即顯空無我行名為空行，空無有情及法我故。我性我用、我體我義，二俱空故，隨其所應，名空無我。

"By the power of this, the mind jointly realizes and converges": by the power of aspiring to the emptiness that is its fruit, and by the power of observing emptiness, one can jointly realize and converge upon both internal and external emptiness. Having been able to realize and converge, the two kinds—the emptiness that is its fruit and the emptiness of observation—are perfected. Now this reveals that the practice of emptiness and non-self is called the practice of emptiness, because it is empty of a self of sentient beings and a self of phenomena. Because the nature of self and the function of self, the substance of self and the meaning of self, are both empty, they are called emptiness and non-self according to what is appropriate.