Skip to content
Label New Contributors

feat: change definition of HasFTaylorSeries to take a parameter in WithTop ℕ∞ instead of ℕ∞ #43440

Sign in to view logs

feat: change definition of HasFTaylorSeries to take a parameter in WithTop ℕ∞ instead of ℕ∞

feat: change definition of HasFTaylorSeries to take a parameter in WithTop ℕ∞ instead of ℕ∞ #43440

label-and-report-new-contributor

label-and-report-new-contributor
succeeded Nov 7, 2024 in 4s