OP-00252 Lean verified The delta conjecture for minimum symmetric rank CO · inverse eigenvalue problems · maximum nullity · minimum rank · OpenProblemsInNLA