In some sources they mention a damage mummy found in Djedefre's ruined pyramid and others say none was found. Does anyone have a definite word on that?

Wikipedia

"Djedkare Isesi's monument complex encompasses: a main pyramid; a mortuary temple situated on the east face of the main pyramid; a valley temple buried under modern Saqqara; a causeway that has been only partially dug out; and a cult pyramid. The main pyramid had a six-stepped core built from roughly cut limestone bound together by clay mortar which was then encased in fine white Tura limestone reaching a peak height of 52.5 m (172 ft; 100.2 cu). The casing has been plundered, and the top three steps of the core have been lost, leaving the pyramid a paltry 24 m (79 ft; 46 cu) tall. The basic dimensions of Djedkare's pyramid were adopted by succeeding kings in their own funerary monuments. Inside Djedkare Isesi's pyramid substructure, remains of the burial have been found alongside the mummy remains of Djedkare Isesi himself. The mummy and linen wrapping have undergone Carbon-14 dating which have given a common range of 2886–2507 BC. The substructure has otherwise been badly damaged by stone thieves quarrying the Tura limestone casing."

It lists no source for this. Does anyone know the source?