added a few lemmas about sup#1964

holgerthies wants to merge 3 commits into

math-comp:mastermath-comp/analysis:masterfrom

holgerthies:sup_lemmas_20260511holgerthies/mathcomp-analysis:sup_lemmas_20260511Copy head branch name to clipboard