wrong.
Sorry Big Tabs, wrong!!
There seem to be various recipes, not least that mushy peas that I am unfamiliar with can be made from garden peas (wrinkled seed types).................. whatever, what I posted is correct for at least a lot of the time - both are the same round seed types.
These are what I am familiar with, and mentioned above -
https://en.wikipedia.org/wiki/Mushy_peas
https://hodmedods.co.uk/blogs/recipes/classic-mushy-peas
https://www.theguardian.com/notesandqueries/query/0,,-1123,00.html