feat(Mathlib.RingTheory.MvPowerSeries.Evaluation): evaluation of power series#15019
Open
AntoineChambert-Loir wants to merge 244 commits intomasterfrom ACLMIdFF/MvPowerSeries_Evaluation
Commits
Commits on Jul 18, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
Commits on Jul 19, 2024
- committed
- committed
- committed
- committed
Commits on Jul 20, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 21, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 22, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 23, 2024
Commits on Jul 25, 2024
Commits on Jul 26, 2024
Commits on Jul 29, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 30, 2024
- committed
Commits on Aug 1, 2024
Commits on Aug 2, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Sep 6, 2024
Commits on Sep 13, 2024
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 20, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Nov 1, 2024
Commits on Nov 13, 2024
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
Commits on Nov 14, 2024
Commits on Nov 21, 2024
Commits on Nov 25, 2024
Commits on Nov 29, 2024
- committed
- committed
Commits on Nov 30, 2024
Commits on Dec 1, 2024
- committed
- authored
- committed
- committed
- committed
- committed
Commits on Dec 10, 2024
Commits on Dec 11, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 18, 2024
Commits on Dec 20, 2024
Commits on Dec 21, 2024
Commits on Dec 23, 2024
Commits on Jan 21, 2025
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 22, 2025
- committed
- committed
- authored
- committed
Merge branch 'ACLMIdFF/MvPowerSeries_Evaluation' of https://github.com/leanprover-community/mathlib4 into ACLMIdFF/MvPowerSeries_Evaluation
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 25, 2025
Commits on Feb 17, 2025
- committed
- committed
- committed
- authored
- authored
- committed
Merge branch 'ACLMIdFF/MvPowerSeries_Evaluation' of https://github.com/leanprover-community/mathlib4 into ACLMIdFF/MvPowerSeries_Evaluation
committed
Commits on Feb 18, 2025
Commits on Feb 20, 2025
- committed
Commits on Mar 5, 2025
- committed
- committed
- committed
- committed
- committed
- committed