[ MRG ] Added is_homogenous property for FiniteSet and EmptySet. Fixes #7488

I am not sure if I am rebasing it correctly, but the code is properly working. Basically this PR just combines
[these commits](https://github.com/sympy/sympy/pull/7533/commits). Someone please review.