Puggalapannatti 2.4.114.2

2.4.114.2

So imaṃ lokaṃ sadevakaṃ samārakaṃ sabrahmakaṃ sassamaṇabrāhmaṇiṃ pajaṃ sadevamanussaṃ sayaṃ abhiññā sacchikatvā pavedeti.

Having directly known and realized it for himself, he makes known this world with its devas, Māras, and Brahmās, this generation with its ascetics and brahmins, its devas and humans.