Mathlib Changelog
v4
Changelog
About
Github
Theorem
Polynomial.ofFn_comp_toFn_eq_id_of_natDegree_lt
Modification history
2025-04-09 16:53
Mathlib/Algebra/Polynomial/ofFn.lean
chore: miscellaneous style fixes (#23878) …
Modified
Polynomial.ofFn_comp_toFn_eq_id_of_natDegree_lt
View on Github →
2025-03-25 11:08
Mathlib/Algebra/Polynomial/ofFn.lean
feat(Algebra/Polynomial/ofFn): ofFn and APIs (#23080) …
Added
Polynomial.ofFn_comp_toFn_eq_id_of_natDegree_lt
View on Github →