Title: Procli philosophi Platonici opera ..
First published: 1820