Loading paper
Cut-off Function Lemma in Projective Spaces | Tomesphere