added a few lemmas about sup#1964

holgerthies wants to merge 1 commit into

math-comp:mastermath-comp/analysis:masterfrom

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