Fix some notation levels w.r.t. Corelib#2042

hivert wants to merge 1 commit into

math-comp:mastermath-comp/analysis:masterfrom

hivert:fixlevelhivert/analysis:fixlevelCopy head branch name to clipboard