Title: Extralateral Right in the Mining Law