As they get bigger they will most likely become more agressive to each other. Adult mantis shrimp usually end up killing anything they're housed with. There are countless different species of mantis shrimp, and two main families, crushers and spearers, so you'd want to identify exactly which species you're talking about to get accurate info on their requirements.