Yes. When it comes to declaring what is in the world, the DM is always right. If players want to discuss the rules of D&D after the session is over and how the DM is applying those rules, that is fine. The DM may have made a mistake according to the rules but no we aren't going to stop and...