Is there a list of instances where mountains that have been mined out of existence?
Of course it happens elsewhere! However, I'm not sure there's a specific term, generally. Even in the "montaintop removal" country of Appalachia, there is no more prosaic term for the practice other than MTR. Too bad! It surely deserves a better term!





And...despite the complete excising of an entire mountain within the Oquirh mountains, even the Salt Lake City population has no term for Complete Mountain Removal!