10mm to 15mm pipe

Hiya, thanks for reading this. I'm confused about something a plumber has suggested. He was replacing a radiator for me. He suggested by text that, as part of the radiator replacement, he could swap the 10mm central heating pipe currently supplying the radiator to 15mm pipework. I liked the...