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

Estimated changes