Definition of "Proclus" :

Definition: "Proclus" is a biographical name.