Exactly, and gender diversity is just another parameter to it.
I've been very lucky to work in very diverse environments for the past 10 years, before that (also the time where I emigrated) most of my previous jobs in Brazil were very homogeneous in the R&D team compositions: men, usually young, Brazilians, with nerdy hobbies (videogames, Magic the Gathering, sci-fi media, etc.).
For the past 10 years I've worked with Iranians, Israelis, Ukrainians, Russians, Indians, Australians, Brits, Argentinians, Swedes, Norwegians, Danes, Finns, Germans, French, Dutch, Italians, Romanians, Mexicans, Americans, Canadians, Nigerians, South Africans, Moroccans, Chinese, Japanese, Malaysians, Colombians, Venezuelans, Turks, Albanians, Serbians, and the list goes on further but those nationalities are the ones I can vividly remember from the top of my head where people I worked closely together were from. On top of it also a pretty good split between genders, men, women, non-binary, etc.
It has given me many, many more perspectives about life in general, about different cultures, also including professionally relevant culture and experiences. It's been one of the greatest things to happen in my life to experience this diversity and expand my own world without requiring all the effort to go visit each one of those places.