Theorem Real.fibRec_charPoly_eq

Modification history