Commit 2025-07-31 10:13 45cf2059

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