A verified unlearning method provides an efficient mechanism to update models when either the student's or the teacher's data receive unlearning requests.