Question: how to add mfrc522 library?
Answer: Download the library from https://github.com/miguelbalboa/rfid. Open Arduino IDE. Then go to and select Sketch->Include Library->Add . ZIP Library. Choose rfid-master. zip file and click to Open.