إسماعيل بن يحيى بن إسماعيل، أبو إبراهيم المزني