Лаврентий, 1737—174? г. Лаврентий, 1737—174? г. строитель Леохновск. Антониев. мон. {Половцов} Большая биографическая энциклопедия