Is one allowed to wash their hands after a funeral inside a building that is not a residential building?
(For example, washing one’s hands in a shul, yeshiva, restaurant, etc.) Or is the hand washing required to be done only outdoors?
I have seen a source quote this in the name of R’ Moshe Feinstein zt”l, other than that I haven’t heard of such a difference.
Laws of Daily Living page 34:footnote 34.