feat: the dual formula for the smallest relative entropy to a null generated by finitely many constraints, with no constraint qualification - #423

feat: the dual formula for the smallest relative entropy to a null generated by finitely many constraints, with no constraint qualification#423

RemyDegenne wants to merge 6 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:evr/constraint-null-klinfRemyDegenne/LMLExplore:evr/constraint-null-klinfCopy head branch name to clipboard