[Merged by Bors] - chore: re-add @[simp] attributes lost in the port
#1353
Vierkantoradd_label_from_diff.yaml
on: pull_request
Add topic label
45s
Annotations
2 notices
|
Add topic label
Applicable labels: #[t-analysis, t-category-theory, t-data]
|
|
Add topic label
not adding multiple labels: #[t-analysis, t-category-theory, t-data]
|