ابن يمان ، هو : يحيى .