Both Mawla Ali and Amīr Mu'āwiyah were mujtahids. رضي الله عنهما Some mention that taqtuluhu is mudraj but if not, ibn Hajar explains it. Molwi Ishaq even said ibn Muljam did ijtihad!