Encyclopædia Britannica, Ninth Edition/Theodosius of Tripoli

