Does the Pro Mini ESP32 support SPI?

I recently purchased a Sparkfun Pro Mini ESP32 board and I’m trying to connect it to Adafruit’s 1.9-inch 320×170 TFT display. The board description says it supports SPI, but I’m not seeing which pins to use on the pinout diagram. In the ESP32 documentation, pins 12–15 are listed with HSPI functions. Are those the correct pins for SPI? For reference, here is the link to the Adafruit display: https://www.adafruit.com/product/5394

There are different abbreviations and I think they are on the board

SPI MOSI Master Out Slave In => COPI Controller Out Peripheral In

SPI MISO Master In Slave Out => PICO Peripheral Out Controller In

SPI CLOCK => SCLK

TFT SPI Chip Select => the CS pin you selected in the sketch