Would it make sense to merge the tag projective-plane and projective-space into projective-geometry? It doesn't seem useful to have to search for each of these separately.

$\begingroup$
$\endgroup$

9
Would it make sense to merge the tag projective-plane and projective-space into projective-geometry? It doesn't seem useful to have to search for each of these separately.

currentlytagged (there are only four so you might check) projective-plane. I think (but could be wrong) it does not. So, the point seems somewhat moot. Since if there is no tag-wiki (which is true) there is hardly any notion of 'having a tag' or not. Put differently, do you see an issue withthese four questionsbeingretaggedprojective-geometry? $\endgroup$