RT CW A1 Proclus T1 Procli Diadochi Hypotyposis astronomicarum positionum / [Proclus]