What are the differences between mini, sub-mini, and ultra-mini switches
These terms can differ by manufacturer.  The only way to be sure of what you're getting is to open data sheets and look at the drawings.