Theorem LinearRecurrence.geom_sol_iff_root_charPoly

Modification history