fix: JordanMeasurable.boolean_algebra.not_isSigmaAlgebra needs d ≥ 1 - #646

fix: JordanMeasurable.boolean_algebra.not_isSigmaAlgebra needs d ≥ 1#646

teorth merged 1 commit into

teorth:mainteorth/analysis:mainfrom

Chessing234:fix/jordan-algebra-not-sigma-needs-dim-posChessing234/analysis:fix/jordan-algebra-not-sigma-needs-dim-posCopy head branch name to clipboard