Commit 2024-04-23 08:03 94191c7e
View on Github →fix(Algebra/Module/LinearMap/Polynomial): fix name of polyCharpoly_coeff_map (#12356)
there is nothing coeff
about this lemma
fix(Algebra/Module/LinearMap/Polynomial): fix name of polyCharpoly_coeff_map (#12356)
there is nothing coeff
about this lemma