Replacing vintage bike tyres
No, that person was confused and you have it right. A new 700x25 tire will fit the same as what you have. Often 40 year old wheels will need new rim strips while you're at it.