La labor del sector minero para aumentar la dotación femenina en posiciones definidas como masculinizadas