Havvagül ismi Kur'an-ı Kerim'de geçiyor mu?

Kur'an'da doğrudan "Havvagül" ismi yer almaz; ancak Havva (Âvâ) adı, Adem'in eşi olarak anılır.