In nearly all cases 6mm is a large enough cable, assuming this is a standard domestic tesla EV charger with 7kw output.
Some things to be aware off.
Unlike most EV chargers sold in the UK the tesla unit does not have open pen detection and therefore needs a consumer unit with open pen detection or the supply for the building needs to be on a TT earth, your electrician should know what I am talking about but may not know the Tesla units need to be treated differently.
Any EV charger in the UK needs to be connected to the internet, normally by wifi, make sure you have decent wifi for the charger and car. Many chargers benefit from being able to modulate output to manage overall load on the incoming supply or using excess from solar generation. To do this they need a data connection back to the incoming supply, I don't think the tesla does this but personally I would suggest putting in a supply cable that's combined power and data to be future proof, and or get a data connection to the garage. I would normally do this using EV ultra cable. More expensive but much more future proof.
Also make sure the electrician registers the charger with your DNO, provides an electrical installation certificate and notifies the local authority about the installation.