I want to know the answer to the following question:
Where was the first Rock Oil mine built?
All the background I'm provided with is that "Ignacy Łukasiewicz improved Gesner's method to develop a means of refining kerosene from the more readily available "rock oil" ("petr-oleum") seeps in 1852 and the first rock oil mine was built in Bóbrka, near Krosno in Galicia in the following year.". Is that enough to answer the question?
Answer: yes