Sefer Divre yeme ʻolam [electronic resource] : Ḥeleḳ teshiʻi.