Inventor Hat GPIO

Hi Thanks for your help,

How does the Inventor Hat GPIOs map to the GPIOs on the Raspberry pi. I have a python library that uses from gpiozero.pins.pigpio import PiGPIOFactory to access the gpio on the pi. Would this work work with the Inventor hat?

Inventor Hat Mini?
If so the pinout is here.
Inventor HAT Mini at Raspberry Pi GPIO Pinout
The Python libraries etc are here.
pimoroni/inventorhatmini-python (github.com)