Theorem fibRec_charPoly_eq

Modification history