Understanding Arduino's Automatic Power Source Selection

Thank you Larry

Is the internal diode what is referred to as the body diode?