additional resource material for GR from Prof. Ed Witten himself, i find his friendlier discussions/presentations of Raychaudhuri equation, singularity theorems of Penrose and Hawking, the black hole area theorem, at least in his notes i find such highly complicated theorems quite, somewhat more accesible to understand
https://arxiv.org/abs/1901.03928