feat(real-roots-mathlib): checked root counts and a simpler Sturm API - #10101

feat(real-roots-mathlib): checked root counts and a simpler Sturm API#10101

kim-em merged 10 commits into

mainkim-em/hex-dev:mainfrom

nauty-applicationskim-em/hex-dev:nauty-applicationsCopy head branch name to clipboard