The open mapping and closed
graph theorems are usually stated in terms of metrizable topological groups which
are complete in a one-sided uniformity. It would be desirable to use only the weaker
hypothesis of completeness in the two-sided uniformity. Important results of this sort
are already known, and it is our purpose to strengthen those results by removing the
separability hypotheses.