If one leaves the mosque for a need and returns quickly, is the greeting of the mosque obligatory?

Question : The student reviews his studies in the mosque, then goes to the library or for another need and returns quickly; is the greeting of the mosque obligatory for him? First, a word.

Answer : It is obligatory for him. The correct view is that the greeting of the mosque is not obligatory, even if one is not in this situation. And in this situation, he does not repeat it, because he left with the intention of returning soon.