Синоним к слову Общешахтный

Синонимы к слову «Общешахтный»: — Шахтный