By it is Jesus who battles Satan. Not Mary. Catholics have to make it all about her. In either case the DR translates it as she crushes.....not he.
You’re right — Jesus battles Satan.
Jesus is the seed of Mary that will crush the head of the seed of the serpent — the devil.