the term given to a claim for the appropriation of public land where mineral exist and is mined within the law.