【佛教人物传总集】
古渊公
见：古渊清公《补续高僧传》