Oh, I’m sure I could get the info from either the provider (Vodafone) or the paper detritus that came with the SIM many years ago. I was just curious about getting it via a GUI or CLI on the phone.
Anyways, answering my own question: mmcli --sim=0
gives the IMSI (as well as the ICCID, and some other info).