variants of {sup,inf}_le#2021

affeldt-aist wants to merge 3 commits into

math-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:reals_20260708affeldt-aist/analysis:reals_20260708Copy head branch name to clipboard