Introduce convex function on real numbers#794
Closed
yoshihiro503 wants to merge 5 commits intomath-comp:masterfrom
Closed
Introduce convex function on real numbers#794yoshihiro503 wants to merge 5 commits intomath-comp:masterfrom
yoshihiro503 wants to merge 5 commits intomath-comp:masterfrom
Commits
Commits on Dec 9, 2022
- andcommitted
- committed
- committed
- committed
- committed