chore(Analysis/Calculus): golf IsOpen.exists_smooth_support_eq using grind (#27723)
IsOpen.exists_smooth_support_eq
grind