вообще у Российского Общества Пароходства и Торговли было несколько шахт рудников во владении, потому

15 марта 2018 в 19:32 ИВАН 401 пишет:

И4> бывшая РОПиТ

вообще у Российского Общества Пароходства и Торговли было несколько шахт (рудников) во владении, потому
идентифицировать по такому названию конкретную шахту сложновато.
То ли это шахта "РОПиТ", то ли это одна из бывших шахт, принадлежавших РОПиТ.
Первая шахта РОПиТа называлась "Надежда". Несмотря на название, попытка была неудачная.

А шахта им. Петровского до этого носила название "Покровская".
Она же, я так понимаю, и есть "рудник РОПиТ".
т.е "Рудник РОПИТ", ш."Покровская" это одно и то же?