On Land Matters you can use the
Land Status Maps to download the Master Title Plat and supplements on the area. That should show you if there has been a successful mineral survey done.
For the Historical Indexes you will need to visit the
General Land Office (GLO) and download the Historical Indexes from the Land Status section. Historical Indexes are perverse so you might want to study how to read them before you jump in. You will also want to get the Control Document Index Records (CDI) for your area of interest. Eventually all these documents will be available through the Land Matters maps and Library but that's just one of many projects in process now.
Serial Register Reports are available at the LR2000 and sometimes have more current, but less complete, information than the GLO does.
Heavy Pans