Proclus' Commentary on Euclid

GPTKB entity

Statements (18)