Stuntman
Android Expert
If all of your contacts are in gmail already there's no reason to do everything you did above. When setting up your gmail account on the iPhone, instead of choosing "Gmail" from the list, select Microsoft Exchange. Put your gmail address in as the username and put in your password, leave "domain" blank. Tap next, the server field will pop up, put "m.google.com" in there, tap next. You'll now have the option to sync your gmail contacts with the iPhone. Super easy.
Her contacts are not in Gmail. She doesn't use Gmail as her email account. She only got a Gmail account when she got an Android phone because she got an Android phone. When moving from her old phone to an Android phone, all of the contacts were moved to her new phone via the SIM card. When moving from her Android phone to her iPhone, she cannot use the SIM card to move contacts because the iPhone does not accept standard SIM cards. That is the reason for having to move all of her contacts into Gmail first and then exporting to an Apple readable format.