Skip to content
Add "closed-pr" emoji in Zulip

[Merged by Bors] - feat: solutions to $C^n$ vector fields are $C^n$ in time #4855

Sign in to view logs

[Merged by Bors] - feat: solutions to $C^n$ vector fields are $C^n$ in time

[Merged by Bors] - feat: solutions to $C^n$ vector fields are $C^n$ in time #4855

Triggered via pull request October 16, 2025 09:16
@mathlib-borsmathlib-bors[bot]
closed #26393
Status Success
Total duration 5s
Artifacts –

zulip_emoji_closed_pr.yaml

on: pull_request_target
Add closed-pr emoji in Zulip
2s
Add closed-pr emoji in Zulip
Fit to window
Zoom out
Zoom in