feat(Data/Sym/Sym2): the first element of s(x, x) is x
#9434
Triggered via pull request
August 20, 2026 19:48
mathlib-triage[bot]
mathlib-triage[bot]
labeled
#42980
Status
Cancelled
Total duration
59s
Artifacts
–
zulip_emoji_reconcile.yml
on: pull_request_target
reconcile
Annotations
1 error
|
Zulip emoji reconcile
Canceling since a higher priority waiting request for Zulip emoji reconcile exists
|