Fix error in formula for deletion computation#7

louismartin wants to merge 1 commit intococoxu:mastercocoxu/simplification:masterfrom

louismartin:fixeslouismartin/simplification:fixesCopy head branch name to clipboard