Title: Trogi Pompei Externae historiae in compendivm ab Justino redactâe