Basic definition on convex set and convex function#44

Oscar11218 wants to merge 1 commit intoformalproofs:mainformalproofs/probability:mainfrom

Oscar11218:inequalities-oscarOscar11218/probability_new:inequalities-oscarCopy head branch name to clipboard