[Merged by Bors] - chore(Analysis/Convex/Approximation): reuse sSup_of_nat_affine_eq#37981
Closed
yuanyi-350 wants to merge 6 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - chore(Analysis/Convex/Approximation): reuse sSup_of_nat_affine_eq#37981yuanyi-350 wants to merge 6 commits intoleanprover-community:masterfrom
sSup_of_nat_affine_eq#37981yuanyi-350 wants to merge 6 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 13, 2026
- committed
- committed
- committed
- committed
- committed
- andauthored
