Pin references to support micropython

I have the GIGA pinout file. Where can I find the reference to micropython definitions for the 3 states of the on-board LED (D86, D87, D88). Sample micropython codes reference pin numbers but I could not find a correspondence tabulation for each pin referencing the names for STM, GIGA & Micropython. The only table that I found did not extend the mapping references to the on-board LED. Curiously, it stopped at D85 and, of course, there was no micropython reference.

No issue in running Arduino sketches that reference these pins. Just need to know how to get started with pin references in micropython on GIGA.

Thanks.

Regards.

P.S.

MicroPython on the GIGA R1 | Arduino Documentation | Arduino Documentation

That doc prompted my note! D86, D87, D88?

About onboard leds, try:

from pyb import LED

led1 = LED(1) # red
led2 = LED(2) # green
led3 = LED(3) # blue

led1.on()
led2.off()

You can find whole pinmap into pyb module:

import pyb

led_1 = pyb.Pin.board.PI12  
# or
led_red = pyb.Pin.cpu.I12

print(pyb.Pin.board)  # to list it

Thanks, @dnard!

Regards.