UNDOUBLING

Definition of UNDOUBLING