I think stone-cech should be a synonym of compactification (and the latter might be pluralized); at least I think stone-cech should be renamed to stone-cech-compactification (minus some characters to fit the limit).

Also, I proposed (on main) that the uniquely used dirichlet-theorem should be a synonym of prime-number-theorem (which IMO should be pluralized too). [I could retag but I think there is some value to have this as actual synonym. It could come up again, but it feels too narrow.]

I think stone-cech should be a synonym of compactification (and the latter might be pluralized); at least I think stone-cech should be renamed to stone-cech-compactification (minus some characters to fit the limit).