Where is I/O reference

New to arduino. In getting started I ran the blink program. It uses digitalpin13 however when I look at my mega2650 pin out it shows that hooked up to PB07. Where is the reference that assigns PB07 to digitalpin13? Thanks

pins_arduino.h seems a likely place to look.