feat: the bipolar rate equals the smallest relative entropy to the null under lower semicontinuity [RR26, Theorem 4.1] - #414

feat: the bipolar rate equals the smallest relative entropy to the null under lower semicontinuity [RR26, Theorem 4.1]#414

lmlexplore-automation[bot] merged 3 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:evr/bipolar-rate-semicontinuityRemyDegenne/LMLExplore:evr/bipolar-rate-semicontinuityCopy head branch name to clipboard