Lizard Test Upload Error

My son and I are trying Arduino for the first time. We have followed the instructions found here: https://learn.sunfounder.com/test/. When we get to the part 10 of section ii, we get the error message below after pressing the Upload button. How do we fix this?

C:\Users\danwe\Downloads_New_Bionic_Robot_Kit_for_Arduino_-Lizard\1__Bionic Robot Kit for Arduino - Lizard\Code\Test\Test.ino:34:1: error: ‘IRrecv’ does not name a type
IRrecv irrecv(RECV_PIN);
^~~~~~
C:\Users\danwe\Downloads_New_Bionic_Robot_Kit_for_Arduino
-Lizard\1__Bionic Robot Kit for Arduino - Lizard\Code\Test\Test.ino:35:1: error: ‘decode_results’ does not name a type
decode_results results;
^~~~~~~~~~~~~~
C:\Users\danwe\Downloads_New_Bionic_Robot_Kit_for_Arduino
-Lizard\1__Bionic Robot Kit for Arduino - Lizard\Code\Test\Test.ino: In function ‘void setup()’:
C:\Users\danwe\Downloads_New_Bionic_Robot_Kit_for_Arduino
-Lizard\1__Bionic Robot Kit for Arduino - Lizard\Code\Test\Test.ino:40:3: error: ‘irrecv’ was not declared in this scope
irrecv.enableIRIn();
^~~~~~
C:\Users\danwe\Downloads_New_Bionic_Robot_Kit_for_Arduino
-_Lizard\1__Bionic Robot Kit for Arduino - Lizard\Code\Test\Test.ino:40:3: note: suggested alternative: ‘strrev’
irrecv.enableIRIn();
^~~~~~
strrev

exit status 1

Compilation error: ‘IRrecv’ does not name a type

Do you have the IRremote library installed?
Please follow the image instructions to install and upload the IRremote library:




If you have subsequent problems, please provide a clear screenshot of the problem.