Commit 2025-12-07 11:10 a8519e1a

feat: ext criterion wrt Icc for measures (#32516) We already have such a criterion for Ioc or Ico. The Icc version doesn't need NoMaxOrder or NoMinOrder, and will be used to extend results for Stieltjes measures to more general index sets (that could have a max or a min).