Agree. Not only will one 100Ah Lifepo have roughly equivalent energy (*) it will have better power (voltage is higher, and doesn't sag as much under load) and is more efficient at charging back up: lead acid requires a long "absorb" time which is inefficient, whereas LFP is mostly "bulk".
If you have the space and can afford it, get 2 x 12V lithiums and wire them in parallel, and your system will be much better than before. (And probably cheaper, in the long run, since LFPs tend to last forever).
* the one situation where a 225AH lead acid battery might beat a 100AH lithium is in a very low amp draw, which isn't very relevant for RVing.