Characterizing Smooth Safety Filters via the Implicit Function Theorem