Skip to content

[Merged by Bors] - feat(Analysis/SpecialFunctions): iterated derivative of cotangent #101316

[Merged by Bors] - feat(Analysis/SpecialFunctions): iterated derivative of cotangent

[Merged by Bors] - feat(Analysis/SpecialFunctions): iterated derivative of cotangent #101316

Triggered via pull request September 8, 2025 17:50
@CBirkbeckCBirkbeck
synchronize #27212
Status Success
Total duration 9s
Artifacts

label_new_contributor.yml

on: pull_request_target
label-and-report-new-contributor
5s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in