History of Technology in India, Vol. I: From Antiquity to c. 1200 A.D. v1.c12.s1.t4.22

mining work from the invaders or prevent in-flow of water and collapse of workings.