What is the operation of crushing a stone in the bladder with an instrument called lithotriptor or lithotrite; lithotrity called?

lithotripsy — The operation of crushing a stone in the bladder with an instrument called lithotriptor or lithotrite; lithotrity. (Webster's 1913.)

Sources