【佛教人物传总集】
一溪如公
见：一溪如公、酉源达公《补续高僧传》