When a funeral and an obligatory prayer coincide: which comes first

Sa'id bin al-Musayyib said: When the funeral prayer and the obligatory prayer fall due together, the obligatory prayer is offered first.

Ash'ath reports that al-Hasan and Ibn Sirin said: When a funeral and the obligatory prayer are both present, one begins with the obligatory prayer.

Uthman bin Abi Hind said: When the obligatory prayer and the funeral prayer were both due together, Umar bin Abd al-Aziz would begin with the obligatory prayer.

Mujahid said: One is to begin with the obligatory prayer.

Ibn Awn said: When my son died, Ibn Sirin said to me: "If you can, bring out the bier at a time in which you first offer the funeral prayer and then the Asr prayer."

Amr bin Harim said: Jabir (bin Zayd) was asked: (When a funeral is present,) should the funeral prayer be offered before the Maghrib prayer or after it? He said: The funeral prayer is offered first, then the Maghrib prayer.