계유라고 축약된거 같은데 이런 문헌이 있냐?

일단 계림유사는 아닌게, 한글 문장을 인용함