Describir: Mujeres en altos cargos en minería en Chile. Agencia y tensiones de género