`R^o` type constraints in `ln_concave`#1010

affeldt-aist wants to merge 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:convex_20230811affeldt-aist/analysis:convex_20230811Copy head branch name to clipboard