convergence theory

A tighter theory for compressed distributed optimization

This paper tightens convergence theory for EF and EF21 in compressed distributed optimization.