I want to know the answer to the following question:
Who theorized about pulmonary circulation?
All the background I'm provided with is that "Muslim physicians contributed to the field of medicine, including the subjects of anatomy and physiology: such as in the 15th century Persian work by Mansur ibn Muhammad ibn al-Faqih Ilyas entitled Tashrih al-badan (Anatomy of the body) which contained comprehensive diagrams of the body's structural, nervous and circulatory systems; or in the work of the Egyptian physician Ibn al-Nafis, who proposed the theory of pulmonary circulation.". Is that enough to answer the question?
Answer: yes