[Merged by Bors] - chore(Analysis/Convex/Approximation): reuse sSup_of_nat_affine_eq
#37981
+5
−13
Loading