Gravar e-mail: On the edge irregularity strength of corona product of cycle with isolated vertices