The bitcoin version (which is the original one) is called Electrum while there is another version (not made by the same developers) called Electron Cash if I'm not mistaken.
I might have been late to the party but I haven't readanywhere that Electrum team had created a wallet for the altcoin. I would be interested to know whether the wallet is still available or it has been abandoned. Please can you share some more insight to support your statement.
If you have used any wallet prior to this, this should be a pretty straight forward process. You install the wallet, run it, follow the steps, and you just make sure to save your seedphrase.
Your reply here doesn't make much sense as you are asking a guy who is asking for solution. BTW, you are making it more complicated. If, I were you I would have asked him to search Google or convert those coins to Bitcoin using an exchange to Bitcoin and then use Electrum wallet to store them.
He is only looking for solution to help himself and not asking anyone here for details.