Puppy scratches

Mo

Any thoughts on what I can put on my puppies tummy?

He just went to play with a neighbors dog and they had so much fun, but they were scratching at each other a lot. Its not a cut, so I’m not super worried, but his tummy is red and tender.