Proclus' Commentary on Parmenides

GPTKB entity